In theoretical computer science, a regular language is a formal language (i.e. , a possibly infinite set of finite sequences of symbols from a finite alphabet) that satisfies the following equivalent properties: it can be accepted by a deterministic finite state machine. it can be accepted by a nondeterministic finite state machine it can be accepted by an alternating finite automaton it can be described by a formal regular expression.

PropertyValue
dbpedia-owl:abstract
  • In der theoretischen Informatik ist eine reguläre Sprache eine formale Sprache, die einigen Einschränkungen unterliegt. Reguläre Sprachen können von endlichen Automaten erkannt werden und von regulären Ausdrücken beschrieben werden.
  • In theoretical computer science, a regular language is a formal language (i.e. , a possibly infinite set of finite sequences of symbols from a finite alphabet) that satisfies the following equivalent properties: it can be accepted by a deterministic finite state machine. it can be accepted by a nondeterministic finite state machine it can be accepted by an alternating finite automaton it can be described by a formal regular expression. Note that the "regular expression" features provided with many programming languages are augmented with features that make them capable of recognizing languages which are not regular, and are therefore not strictly equivalent to formal regular expressions. it can be generated by a regular grammar it can be generated by a prefix grammar it can be accepted by a read-only Turing machine it can be defined in monadic second-order logic it is recognized by some finitely generated monoid it is the preimage of a subset of a finite monoid under a homomorphism from the free monoid on its alphabet
  • Un lenguaje regular es un tipo de lenguaje formal que satisface las siguientes propiedades: Puede ser reconocido por: un autómata finito determinista un autómata finito no determinista un autómata de pila un autómata finito alterno una máquina de Turing de solo lectura Es generado por: una gramática regular una gramática de prefijos Es descrito por: una expresión regular
  • Säännöllinen kieli on formaali kieli, joka toteuttaa seuraavat keskenään ekvivalentit ehdot: se voidaan tunnistaa äärellisellä automaatilla, joko deterministisellä tai epädeterministisellä se voidaan kuvata säännöllisellä lausekkeella sen tuottaa jokin säännöllinen kielioppi (oikealle tai vasemmalle lineaarinen kielioppi) Aakkoston Σ säännölliset kielet määritellään seuraavasti: tyhjä kieli Ø on säännöllinen kieli { ε } on säännöllinen (ε on tyhjä merkkijono) kaikilla a ∈ Σ kieli { a } on säännöllinen jos A ja B ovat säännöllisiä kieliä, myös A U B, AB ja A* ovat säännöllisiä muita Σ:n säännöllisiä kieliä ei ole Kaikki äärelliset kielet (kielet, jotka sisältävät äärellisen määrän merkkijonoja) ovat säännöllisiä. Esimerkki äärettömästä säännöllisestä kielestä on kieli, joka koostuu kaikista sellaisista aakkoston {a, b} merkkijonoista, joissa on parillinen määrä merkkejä a. Säännölliset kielet on yksinkertaisin luokka formaaleja kieliä luokittelevassa Chomskyn hierarkiassa.
  • In informatica teorica un linguaggio regolare è un linguaggio formale, ossia costituito da un insieme di stringhe costruite con un alfabeto finito, che è descritto da un'espressione regolare, generato da una grammatica generativa regolare (o di tipo 3, secondo la gerarchia di Chomsky) o accettato da un automa a stati finiti.
  • 正規言語（せいきげんご）または正則言語（せいそくげんご）とは、以下に示す性質（いずれも等価）を満たす形式言語のことである。 決定性有限オートマトンによって受理可能 非決定性有限オートマトンによって受理可能 正規表現で記述可能 正規文法から生成可能 読みとり専用チューリングマシンで受理可能
  • Een reguliere taal is een formele taal die voldoet aan de volgende equivalente eigenschappen: ze wordt geaccepteerd door een deterministische eindige automaat ze wordt geaccepteerd door een non-deterministische eindige automaat ze wordt geaccepteerd door een alternerende eindige automaat ze wordt beschreven door een reguliere expressie ze wordt gegenereerd door een reguliere grammatica ze wordt gegenereerd door een prefix grammatica ze wordt geaccepteerd door een read-only Turing machine ze wordt gedefinieerd in monadische logica van de tweede orde
  • Język regularny to język formalny taki, że istnieje automat o skończonej liczbie stanów potrafiący zdecydować, czy dane słowo należy do języka. Wszystkie języki regularne są bezkontekstowe.
  • Uma linguagem regular é uma linguagem formal (ou seja, um possível conjunto finito ou infinito de sequências de símbolos de um determinado alfabeto) que satisfaz as seguintes propriedades equivalentes: Pode ser aceita por uma máquina de estados finitos determinística, uma máquina de estados finitos não determinística ou um autômato finito alternado; Pode ser aceita por uma máquina de Turing somente de leitura; Pode ser descrita por uma expressão regular; Poder ser gerada por uma gramática regular ou por uma gramática de prefixo; Pode ser definida na lógica de segunda ordem monádica; Desse resumo entende-se que uma linguagem regular pode ser especificada por uma gramática regular que a gera, ou por uma expressão regular que a denote, ou ainda por um autômato finito que reconhece suas sentenças.
  • 正规语言又称正则语言是满足下述相互等价的一组条件的一类形式语言： 可以被确定有限状态自动机识别； 可以被非确定有限状态自动机识别； 可以被只读图灵机识别； 可以用正则表达式描述； 可以用正则文法生成。 可以用前缀文法生成。
  • В теории языков регуля́рным мно́жеством (или, регуля́рным языком) называется формальный язык, который удовлетворяет приведённым ниже свойствам. Эти простые свойства таковы, что класс регулярных множеств удобно изучать в целом и полученные результаты оказываются применимы во многих важных случаях формальных языков. То есть, понятие регулярного множества является примером математической структуры.
  • Les langages rationnels ou langages réguliers ou encore langages reconnaissables peuvent être décrits de plusieurs façons équivalentes: ce sont les langages décrits par les expressions régulières ou rationnelles,d'où le nom de langages réguliers; ce sont les langages obtenus, à partir des lettres et de l'ensemble vide, par les opérations rationnelles, à savoir l'union, le produit et l'étoile, d'où le nom de langages rationnels; ce sont les langages reconnus par des automates finis, d'où le nom de langages reconnaissables. Ce sont aussi les langages dont le monoïde syntaxique est fini, les langages qui admettent une description dans la logique monadique du second ordre avec successeur, les langages de type 3 dans la hiérarchie de Chomsky: ce sont les langages qui peuvent être engendrés par une grammaire régulière, c'est-à-dire une grammaire linéaire droite (ou linéaire gauche), les langages reconnus par des machines de Turing qui n'écrivent pas sur leur bande; les langages reconnus par des Modèle:Lien. Les langages rationnels ont de très nombreuses applications, à la fois théoriques et pratiques. Ils sont utilisés en informatique (par exemple en compilation, en linguistique, ils interviennent dans les traitements de texte, ou dans des commandes spécifiques comme grep du système Unix. Pour la manipulation des langages rationnels et des automates, il existe de nombreux outils informatiques, notamment dans les systèmes du type Unix comme la commande lex. Le langage informatique Java fournit aussi la classe Pattern. Les algorithmes utilisés pour manipuler les langages rationnels possèdent en général une implémentation rapide et efficace.
dcterms:subject
rdfs:comment
  • In der theoretischen Informatik ist eine reguläre Sprache eine formale Sprache, die einigen Einschränkungen unterliegt. Reguläre Sprachen können von endlichen Automaten erkannt werden und von regulären Ausdrücken beschrieben werden.
  • Un lenguaje regular es un tipo de lenguaje formal que satisface las siguientes propiedades: Puede ser reconocido por: un autómata finito determinista un autómata finito no determinista un autómata de pila un autómata finito alterno una máquina de Turing de solo lectura Es generado por: una gramática regular una gramática de prefijos Es descrito por: una expresión regular
  • In informatica teorica un linguaggio regolare è un linguaggio formale, ossia costituito da un insieme di stringhe costruite con un alfabeto finito, che è descritto da un'espressione regolare, generato da una grammatica generativa regolare (o di tipo 3, secondo la gerarchia di Chomsky) o accettato da un automa a stati finiti.
  • 正規言語（せいきげんご）または正則言語（せいそくげんご）とは、以下に示す性質（いずれも等価）を満たす形式言語のことである。 決定性有限オートマトンによって受理可能 非決定性有限オートマトンによって受理可能 正規表現で記述可能 正規文法から生成可能 読みとり専用チューリングマシンで受理可能
  • Een reguliere taal is een formele taal die voldoet aan de volgende equivalente eigenschappen: ze wordt geaccepteerd door een deterministische eindige automaat ze wordt geaccepteerd door een non-deterministische eindige automaat ze wordt geaccepteerd door een alternerende eindige automaat ze wordt beschreven door een reguliere expressie ze wordt gegenereerd door een reguliere grammatica ze wordt gegenereerd door een prefix grammatica ze wordt geaccepteerd door een read-only Turing machine ze wordt gedefinieerd in monadische logica van de tweede orde
  • Język regularny to język formalny taki, że istnieje automat o skończonej liczbie stanów potrafiący zdecydować, czy dane słowo należy do języka. Wszystkie języki regularne są bezkontekstowe.
  • Uma linguagem regular é uma linguagem formal (ou seja, um possível conjunto finito ou infinito de sequências de símbolos de um determinado alfabeto) que satisfaz as seguintes propriedades equivalentes: Pode ser aceita por uma máquina de estados finitos determinística, uma máquina de estados finitos não determinística ou um autômato finito alternado; Pode ser aceita por uma máquina de Turing somente de leitura; Pode ser descrita por uma expressão regular; Poder ser gerada por uma gramática regular ou por uma gramática de prefixo; Pode ser definida na lógica de segunda ordem monádica; Desse resumo entende-se que uma linguagem regular pode ser especificada por uma gramática regular que a gera, ou por uma expressão regular que a denote, ou ainda por um autômato finito que reconhece suas sentenças.
  • 正规语言又称正则语言是满足下述相互等价的一组条件的一类形式语言： 可以被确定有限状态自动机识别； 可以被非确定有限状态自动机识别； 可以被只读图灵机识别； 可以用正则表达式描述； 可以用正则文法生成。 可以用前缀文法生成。
  • В теории языков регуля́рным мно́жеством (или, регуля́рным языком) называется формальный язык, который удовлетворяет приведённым ниже свойствам. Эти простые свойства таковы, что класс регулярных множеств удобно изучать в целом и полученные результаты оказываются применимы во многих важных случаях формальных языков. То есть, понятие регулярного множества является примером математической структуры.
  • In theoretical computer science, a regular language is a formal language (i.e. , a possibly infinite set of finite sequences of symbols from a finite alphabet) that satisfies the following equivalent properties: it can be accepted by a deterministic finite state machine. it can be accepted by a nondeterministic finite state machine it can be accepted by an alternating finite automaton it can be described by a formal regular expression.
  • Säännöllinen kieli on formaali kieli, joka toteuttaa seuraavat keskenään ekvivalentit ehdot: se voidaan tunnistaa äärellisellä automaatilla, joko deterministisellä tai epädeterministisellä se voidaan kuvata säännöllisellä lausekkeella sen tuottaa jokin säännöllinen kielioppi (oikealle tai vasemmalle lineaarinen kielioppi) Aakkoston Σ säännölliset kielet määritellään seuraavasti: tyhjä kieli Ø on säännöllinen kieli { ε } on säännöllinen (ε on tyhjä merkkijono) kaikilla a ∈ Σ kieli { a } on säännöllinen jos A ja B ovat säännöllisiä kieliä, myös A U B, AB ja A* ovat säännöllisiä muita Σ:n säännöllisiä kieliä ei ole Kaikki äärelliset kielet (kielet, jotka sisältävät äärellisen määrän merkkijonoja) ovat säännöllisiä.
  • Les langages rationnels ou langages réguliers ou encore langages reconnaissables peuvent être décrits de plusieurs façons équivalentes: ce sont les langages décrits par les expressions régulières ou rationnelles,d'où le nom de langages réguliers; ce sont les langages obtenus, à partir des lettres et de l'ensemble vide, par les opérations rationnelles, à savoir l'union, le produit et l'étoile, d'où le nom de langages rationnels; ce sont les langages reconnus par des automates finis, d'où le nom de langages reconnaissables.
rdfs:label
  • Reguläre Sprache
  • Regular language
  • Lenguaje regular
  • Säännöllinen kieli
  • Langage rationnel
  • Linguaggio regolare
  • 正規言語
  • Reguliere taal
  • Język regularny
  • Linguagem regular
  • Регулярное множество
  • 正则语言
owl:sameAs
foaf:page
is dbpedia-owl:wikiPageDisambiguates of
is dbpedia-owl:wikiPageRedirects of
is owl:sameAs of
is foaf:primaryTopic of