The ω-regular languages are a class of ω-languages that generalize the definition of regular languages to infinite words.
Attributes | Values |
---|
rdf:type
| |
rdfs:label
| - Ω-reguläre Sprache (de)
- Linguaggio omega-regolare (it)
- Omega-regular language (en)
- Linguagem Omega-regular (pt)
|
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)
|
dcterms:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
has 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)
|
gold:hypernym
| |
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is Wikipage redirect
of | |
is foaf:primaryTopic
of | |