Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L
Запропоновано метод переходу від специфікації автомата мовою L* до специфікації у мові L. Спочатку завдяки введенню додаткових предикатних символів специфікація перетворюється у специфікацію автомата зі скінченною пам’яттю, яка потім перетворюється в автоматно еквівалентну специфікацію у мові L. A m...
Gespeichert in:
| Veröffentlicht in: | Кибернетика и системный анализ |
|---|---|
| Datum: | 2010 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2010
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/45244 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L / А.Н. Чеботарев // Кибернетика и системный анализ. — 2010. — № 4. — С. 60-69. — Бібліогр.: 9 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862544542595547136 |
|---|---|
| author | Чеботарев, А.Н. |
| author_facet | Чеботарев, А.Н. |
| citation_txt | Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L / А.Н. Чеботарев // Кибернетика и системный анализ. — 2010. — № 4. — С. 60-69. — Бібліогр.: 9 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| description | Запропоновано метод переходу від специфікації автомата мовою L* до специфікації у мові L. Спочатку завдяки введенню додаткових предикатних символів специфікація перетворюється у специфікацію автомата зі скінченною пам’яттю, яка потім перетворюється в автоматно еквівалентну специфікацію у мові L.
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.
|
| first_indexed | 2025-11-25T03:38:08Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-45244 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0023-1274 |
| language | Russian |
| last_indexed | 2025-11-25T03:38:08Z |
| publishDate | 2010 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Чеботарев, А.Н. 2013-06-10T16:24:10Z 2013-06-10T16:24:10Z 2010 Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L / А.Н. Чеботарев // Кибернетика и системный анализ. — 2010. — № 4. — С. 60-69. — Бібліогр.: 9 назв. — рос. 0023-1274 https://nasplib.isofts.kiev.ua/handle/123456789/45244 519.713.1 Запропоновано метод переходу від специфікації автомата мовою L* до специфікації у мові L. Спочатку завдяки введенню додаткових предикатних символів специфікація перетворюється у специфікацію автомата зі скінченною пам’яттю, яка потім перетворюється в автоматно еквівалентну специфікацію у мові L. 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. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Кибернетика Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L Перетворення специфікації автомата у мові L* в автоматно еквівалентну специфікацію у мові L Transformation of a language L* specification of an FSM to the automata-equivalent specification in the language L Article published earlier |
| spellingShingle | Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L Чеботарев, А.Н. Кибернетика |
| title | Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L |
| title_alt | Перетворення специфікації автомата у мові L* в автоматно еквівалентну специфікацію у мові L Transformation of a language L* specification of an FSM to the automata-equivalent specification in the language L |
| title_full | Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L |
| title_fullStr | Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L |
| title_full_unstemmed | Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L |
| title_short | Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L |
| title_sort | преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке l |
| topic | Кибернетика |
| topic_facet | Кибернетика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/45244 |
| work_keys_str_mv | AT čebotarevan preobrazovaniespecifikaciiavtomatavâzykevavtomatnoékvivalentnuûspecifikaciûvâzykel AT čebotarevan peretvorennâspecifíkacííavtomataumovílvavtomatnoekvívalentnuspecifíkacíûumovíl AT čebotarevan transformationofalanguagelspecificationofanfsmtotheautomataequivalentspecificationinthelanguagel |