| Л63 |
Лисовик, Л. П.
Формальные языки и трансдьюсеры [Текст]. Т. 2 : Вычисления над размеченными деревьями. Кн. 2 / Л. П. Лисовик ; Л.П.Лисовик. – К. : Феникс, 2006. – 440 с. – 15.00.
Схематология. Автоматы Рабина. Формальные языки. Преобразователи и сети Петри. Метод альтернирующего стекинга. Трудные алгоритмы и конструкции.
|
