Теоретико-автоматный подход к определению формальных семантик языков программированиястатья