| dbo:abstract
|
- In der theoretischen Informatik bezeichnet die Klasse der ω-regulären Sprachen eine bestimmte Menge formaler Sprachen aus unendlichen Wörtern.Das Äquivalent im endlichen Fall ist die Klasse der regulären Sprachen. Der griechische Buchstabe ω (omega) steht hier für die kleinste unendliche Ordinalzahl. Der Schwerpunkt der Untersuchung ω-regulärer Sprachen liegt in der Automatentheorie.Es lässt sich beispielsweise zeigen, dass die ω-regulären Sprachen genau die Büchi-erkennbaren Sprachen sind. (de)
- The ω-regular languages are a class of ω-languages that generalize the definition of regular languages to infinite words. (en)
- I linguaggi ω-regolari sono una classe di ω-linguaggi che generalizzano i linguaggi regolari a parole di lunghezza infinita. Richard Büchi dimostrò nel 1962 che i linguaggi ω-regolari sono precisamente quelle definibili in una particolare chiamata S1S. (it)
- As Linguagens ω-regulares são uma classe de linguagens-ω que generalizam a definição de linguagens regulares para palavras infinitas. Büchi mostrou em 1962 que linguagens ω-regulares são precisamente aquelas definidas numa particular lógica monádica de segunda ordem chamada . (pt)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 5105 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- In der theoretischen Informatik bezeichnet die Klasse der ω-regulären Sprachen eine bestimmte Menge formaler Sprachen aus unendlichen Wörtern.Das Äquivalent im endlichen Fall ist die Klasse der regulären Sprachen. Der griechische Buchstabe ω (omega) steht hier für die kleinste unendliche Ordinalzahl. Der Schwerpunkt der Untersuchung ω-regulärer Sprachen liegt in der Automatentheorie.Es lässt sich beispielsweise zeigen, dass die ω-regulären Sprachen genau die Büchi-erkennbaren Sprachen sind. (de)
- The ω-regular languages are a class of ω-languages that generalize the definition of regular languages to infinite words. (en)
- I linguaggi ω-regolari sono una classe di ω-linguaggi che generalizzano i linguaggi regolari a parole di lunghezza infinita. Richard Büchi dimostrò nel 1962 che i linguaggi ω-regolari sono precisamente quelle definibili in una particolare chiamata S1S. (it)
- As Linguagens ω-regulares são uma classe de linguagens-ω que generalizam a definição de linguagens regulares para palavras infinitas. Büchi mostrou em 1962 que linguagens ω-regulares são precisamente aquelas definidas numa particular lógica monádica de segunda ordem chamada . (pt)
|
| rdfs:label
|
- Ω-reguläre Sprache (de)
- Linguaggio omega-regolare (it)
- Omega-regular language (en)
- Linguagem Omega-regular (pt)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
