Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
мова, язык
язык L*
Документи:
Чеботарев, А. Н.
Анализ фиктивности состояния автомата, синтезированного по спецификации, преобразованной из языка L* в язык L [Текст] / А. Н. Чеботарев // Кибернетика и системный анализ. – 2013. – Т. 45, № 1. – С. 3-10.
Чеботарев, А. Н.
О классе формул языка L*, специфицирующих автоматы с конечной памятью [Текст] / А. Н. Чеботарев // Кибернетика и системный анализ. – 2010. – Т. 46, № 1. – С. 3-9.
Чеботарев, А. Н.
Преобразование спецификации автомата в языке L* в автоматно эквивалентную спецификацию в языке L* [Текст] / А. Н. Чеботарев // Кибернетика и системный анализ. – 2010. – Т. 46, № 4. – С. 60-69.
Інформаційно-пошукова система
'УФД/Бібліотека'