2025-02-23T19:32:12-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-190446%22&qt=morelikethis&rows=5
2025-02-23T19:32:12-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-190446%22&qt=morelikethis&rows=5
2025-02-23T19:32:12-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T19:32:12-05:00 DEBUG: Deserialized SOLR response
От формул вида F(t) языка LP к -ω-регулярным выражениям
При синтезе Σ-автомата, специфицированного в языке LP, возникает задача представления множества обратных сверхслов, задаваемых формулой F(t), в виде -ω-регулярного выражения. Построение этого выражения основано на соответствии между структурными элементами формул и -ω-регулярных выражений. Для обесп...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2020
|
| Series: | Кибернетика и системный анализ |
| Subjects: | |
| Online Access: | http://dspace.nbuv.gov.ua/handle/123456789/190446 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
irk-123456789-190446 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-1904462023-06-08T17:57:01Z От формул вида F(t) языка LP к -ω-регулярным выражениям Чеботарев, А.Н. Кібернетика При синтезе Σ-автомата, специфицированного в языке LP, возникает задача представления множества обратных сверхслов, задаваемых формулой F(t), в виде -ω-регулярного выражения. Построение этого выражения основано на соответствии между структурными элементами формул и -ω-регулярных выражений. Для обеспечения такого соответствия введены две дополнительные операции над -ω-регулярными множествами, соответствующие операциям квантификации в формулах. Рассмотрены методы представления этих операций в терминах языка -ω -регулярных выражений. Получены результаты, позволяющие строить -ω-регулярные выражения для достаточно широкого класса формул вида F(t) языка LP. Під час синтезу Σ-автомата, специфікованого мовою LP, виникає задача подання множини зворотних надслів, що задає формула F(t), у вигляд і -ω-регулярного виразу. Побудова цього виразу базується на відповідності між структурними елементами формул і -ω-регулярних виразів. Для забезпечення такої відповідності запроваджено дві додаткові операції над -ω-регулярними множинами, що відповідають операціям квантифікації у формулах. Розглянуто методи подання цих операцій у термінах мови -ω-регулярних виразів. Отримано результати, які дають можливість будувати відповідні -ω-регулярні вирази для достатньо широкого класу формул вигляду F(t) мови LP. In synthesis of a Σ-automaton specified in the language LP, the problem arises how to represent the set of left-infinite words defined by the formula F(t) in the form of a -ω-regular expression. Construction of this representation is based on the correspondence between structural components of formulas and -ω-regular expressions. To provide such a correspondence, two additional operations on -ω-regular sets relating to the operation of quantification in formulas are introduced. The paper focuses on the representation of these operations in terms of the -ω-regular language. The results presented in this paper allow constructing -ω-regular expressions for a wide class of LP formulas of the form F(t). 2020 Article От формул вида F(t) языка LP к -ω-регулярным выражениям / А.Н. Чеботарев // Кибернетика и системный анализ. — 2020. — Т. 56, № 5. — С. 3–17. — Бібліогр.: 5 назв. — рос. 1019-5262 http://dspace.nbuv.gov.ua/handle/123456789/190446 519.713.1 ru Кибернетика и системный анализ Інститут кібернетики ім. В.М. Глушкова НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Кібернетика Кібернетика |
| spellingShingle |
Кібернетика Кібернетика Чеботарев, А.Н. От формул вида F(t) языка LP к -ω-регулярным выражениям Кибернетика и системный анализ |
| description |
При синтезе Σ-автомата, специфицированного в языке LP, возникает задача представления множества обратных сверхслов, задаваемых формулой F(t), в виде -ω-регулярного выражения. Построение этого выражения основано на соответствии между структурными элементами формул и -ω-регулярных выражений. Для обеспечения такого соответствия введены две дополнительные операции над -ω-регулярными множествами, соответствующие операциям квантификации в формулах. Рассмотрены методы представления этих операций в терминах языка -ω -регулярных выражений. Получены результаты, позволяющие строить -ω-регулярные выражения для достаточно широкого класса формул вида F(t) языка LP. |
| format |
Article |
| author |
Чеботарев, А.Н. |
| author_facet |
Чеботарев, А.Н. |
| author_sort |
Чеботарев, А.Н. |
| title |
От формул вида F(t) языка LP к -ω-регулярным выражениям |
| title_short |
От формул вида F(t) языка LP к -ω-регулярным выражениям |
| title_full |
От формул вида F(t) языка LP к -ω-регулярным выражениям |
| title_fullStr |
От формул вида F(t) языка LP к -ω-регулярным выражениям |
| title_full_unstemmed |
От формул вида F(t) языка LP к -ω-регулярным выражениям |
| title_sort |
от формул вида f(t) языка lp к -ω-регулярным выражениям |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| publishDate |
2020 |
| topic_facet |
Кібернетика |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/190446 |
| citation_txt |
От формул вида F(t) языка LP к -ω-регулярным выражениям / А.Н. Чеботарев // Кибернетика и системный анализ. — 2020. — Т. 56, № 5. — С. 3–17. — Бібліогр.: 5 назв. — рос. |
| series |
Кибернетика и системный анализ |
| work_keys_str_mv |
AT čebotarevan otformulvidaftâzykalpkōregulârnymvyraženiâm |
| first_indexed |
2023-10-18T23:12:58Z |
| last_indexed |
2023-10-18T23:12:58Z |
| _version_ |
1796157549024641024 |