О классе формул языка L*, специфицирующих автоматы с конечной памятью
Характеризується клас специфікацій в мові L*, що специфікують автомати зі скінченною пам’яттю. Обґрунтовано перетворення будь-якої специфікації в мові L* в еквівалентну у певному розумінні специфікацію, що специфікує автомат зі скінченною пам’яттю....
Збережено в:
Видавець: | Інститут кібернетики ім. В.М. Глушкова НАН України |
---|---|
Дата: | 2010 |
Автор: | Чеботарев, А.Н. |
Формат: | Стаття |
Мова: | Russian |
Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2010
|
Назва видання: | Кибернетика и системный анализ |
Теми: | |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/45120 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Цитувати: | О классе формул языка L*, специфицирующих автоматы с конечной памятью / А.Н. Чеботарев // Кибернетика и системный анализ. — 2010. — № 1. — С. 3–9. — Бібліогр.: 6 назв. — рос. |
Репозиторії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
-
Асинхронные автоматы, сравнивающие треки
за авторством: Шахбазян, К.В., та інші
Опубліковано: (2012) -
Примитивные и неприводимые автоматы
за авторством: Рысцов, И.К.
Опубліковано: (2015) -
Анализ фиктивности состояний автомата, синтезированного по спецификации, преобразованной из языка L* в язык L
за авторством: Чеботарев, А.Н.
Опубліковано: (2013) -
Конечные автоматы в информационных технологиях
за авторством: Крывый, С.Л.
Опубліковано: (2011) -
Проблема мортальности и аффинные автоматы
за авторством: Рысцов, И.К.
Опубліковано: (2008)