Показати простий запис статті
dc.contributor.author |
Пряничникова, Е.А. |
|
dc.date.accessioned |
2017-09-13T09:51:12Z |
|
dc.date.available |
2017-09-13T09:51:12Z |
|
dc.date.issued |
2009 |
|
dc.identifier.citation |
Характеризация языков, представимых в графах c отмеченными вершинами / Е.А. Пряничникова // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2009. — Т. 19. — С. 200-208. — Бібліогр.: 5 назв. — рос. |
uk_UA |
dc.identifier.issn |
1683-4720 |
|
dc.identifier.uri |
http://dspace.nbuv.gov.ua/handle/123456789/123916 |
|
dc.description.abstract |
Для языков, представимых графами с отмеченными вершинами, доказывается теорема, аналогичная теореме Майхилла-Нерода для языков, распознаваемых конечными автоматами. На основе доказательства теоремы показано, что любому языку, порождаемому графом с отмеченными вершинами, соответствует единственный с точностью до изоморфизма полный детерминированный граф с минимальным числом вершин и единственная система леволинейных уравнений с минимальным числом уравнений, из решений которой может быть получено регулярное выражение, описывающее этот язык. |
uk_UA |
dc.description.sponsorship |
Автор выражает благодарность И.С. Грунскому за постановку задачи и полезные замечания. |
uk_UA |
dc.language.iso |
ru |
uk_UA |
dc.publisher |
Інститут прикладної математики і механіки НАН України |
uk_UA |
dc.relation.ispartof |
Труды Института прикладной математики и механики |
|
dc.title |
Характеризация языков, представимых в графах c отмеченными вершинами |
uk_UA |
dc.type |
Article |
uk_UA |
dc.status |
published earlier |
uk_UA |
dc.identifier.udc |
519.6 |
|
Файли у цій статті
Ця стаття з'являється у наступних колекціях
Показати простий запис статті