Before revision:  This still holds true today, with a strand of recent works building formal analysis of modern neural networks methods in terms of formal languages.
After revision:  It also still holds true today, with a strand of recent works building formal analysis of modern neural networks methods in terms of formal languages.