ВИКОРИСТАННЯ ТЕОРІЇ ФОРМАЛЬНИХ МОВ І ГРАМАТИК У МАТЕМАТИЧНІЙ ЛОГІЦІ

Володимир Миколайович Євладенко

Анотація


У статті розглядається  застосування  теорії  формальних  мов  і  граматик  у математичній логіці.

The  paper  views  the  application  of  the  theory  of  formal  languages  and  grammars  in mathematical logics.


Повний текст:

PDF

Посилання


Гинзбург С. Математическая теория контекстно-свободных языков. –М.: Мир, 1970.

Новиков П.С. Элементы математической логики. -М.: Наука, 1976.

Братчиков Н.Л. Синтаксис языков программирования. –Новосибирск: Наука, 1975.


Посилання

  • Поки немає зовнішніх посилань.