Characteristic of languages, representable in columns with noted tops (Q2901749)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Characteristic of languages, representable in columns with noted tops |
scientific article; zbMATH DE number 6062255
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Characteristic of languages, representable in columns with noted tops |
scientific article; zbMATH DE number 6062255 |
Statements
31 July 2012
0 references
Characteristic of languages, representable in columns with noted tops (English)
0 references
A theorem similar to the one of Myhill-Nerode is proved for languages representable by graphs with marked vertices. Two ways to prove the theorem are presented. It is shown that to any language generated by the graph with marked vertices there corresponds a unique isomorphism of columns with the minimum number of vertices and a unique system of left-linear equations of minimum order from which an initial regular expression which describes this language can be obtained.
0 references
