Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L

Чеботарев, А.Н.

Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L

dc.contributor.author	Чеботарев, А.Н.
dc.date.accessioned	2013-06-10T16:24:10Z
dc.date.available	2013-06-10T16:24:10Z
dc.date.issued	2010
dc.description.abstract	Запропоновано метод переходу від специфікації автомата мовою L* до специфікації у мові L. Спочатку завдяки введенню додаткових предикатних символів специфікація перетворюється у специфікацію автомата зі скінченною пам’яттю, яка потім перетворюється в автоматно еквівалентну специфікацію у мові L.	uk_UA
dc.description.abstract	A method is proposed to transform an FSM specification in the language L* into the specification in the language L. First, by using additional predicate symbols the specification is transformed to the specification of an FSM with finite memory. Then this specification is transformed to automata-equivalent specification in the language L.	uk_UA
dc.identifier.citation	Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L / А.Н. Чеботарев // Кибернетика и системный анализ. — 2010. — № 4. — С. 60-69. — Бібліогр.: 9 назв. — рос.	uk_UA
dc.identifier.issn	0023-1274
dc.identifier.udc	519.713.1
dc.identifier.uri	https://nasplib.isofts.kiev.ua/handle/123456789/45244
dc.language.iso	ru	uk_UA
dc.publisher	Інститут кібернетики ім. В.М. Глушкова НАН України	uk_UA
dc.relation.ispartof	Кибернетика и системный анализ
dc.status	published earlier	uk_UA
dc.subject	Кибернетика	uk_UA
dc.title	Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L	uk_UA
dc.title.alternative	Перетворення специфікації автомата у мові L* в автоматно еквівалентну специфікацію у мові L	uk_UA
dc.title.alternative	Transformation of a language L* specification of an FSM to the automata-equivalent specification in the language L	uk_UA
dc.type	Article	uk_UA

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1

Назва:: 06-Chebotarev.pdf
Розмір:: 121.43 KB
Формат:: Adobe Portable Document Format

Завантажити

Контейнер ліцензії

Зараз показуємо 1 - 1 з 1

Назва:: license.txt
Розмір:: 817 B
Формат:: Item-specific license agreed upon to submission
Опис:

Завантажити

Колекція

Кибернетика и системный анализ, 2010, № 4