Зведений каталог бібліотек Києва

 

Чеботарьов, А. М.
    Регулярна форма специфікації мовою L детермінованих автоматів [Текст] / А.М. Чеботарьов, О.І. Курівчак // Наукоємні технології : Науковий журнал / Національний авіаційний університет // Наукоємні технології - Київ : НАУ-друк. — С. 28-33.


- Ключові слова:

система автоматизована, система автоматизированная, automatic system ; система автоматики, система автоматики ; теорія автоматів, теория автоматов ; машина-автомат

- Анотація:

Досліджуються деякі форми подання специфікацій детермінованих автоматів у мові L. Використання таких форм при побудові специфікації зменшує вірогідність допущення помилок.

- Є складовою частиною документів:

- Теми документа

  • ББК науковий // Теорія автоматів та керуючих машин



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Національного авіаційного університету   Перейти на сайт