ПРИМЕНЕНИЕ ЯЗЫКА РЕГУЛЯРНЫХ ВЫРАЖЕНИЙ (ЯРВ) ДЛЯ ВАЛИДАЦИИ ЦИФРОВЫХ АВТОМАТОВ

Л.Р. Валиуллина, В.А. Райхлин

Казанский государственный технический университет им. А.Н. Туполева

Обосновывается целесообразность использования ЯРВ для валидации цифровых автоматов, синтезированных интерактивно по неформальному заданию. Решаются задачи генерации шаблонов, формирования по ним базы знаний автомата, разработки подсистемы валидации в целом.

   
www.kai.ru