| http://dbpedia.org/ontology/abstract
|
Język regularny – język formalny taki, że … Język regularny – język formalny taki, że istnieje deterministyczny automat skończony potrafiący zdecydować, czy dane słowo należy do języka. Równoważnie, taki, że istnieje dlań gramatyka regularna. W hierarchii Chomsky’ego jest zdefiniowany jako język typu 3. Wszystkie języki regularne są bezkontekstowe.ystkie języki regularne są bezkontekstowe.
, 正则语言又称正规语言是满足下述相互等价的一组条件的一类形式语言：
* 可被确定有限状态自动机识别；
* 可被非确定有限状态自动机识别；
* 可被只读图灵机识别；
* 可用正则表达式描述；
* 可用正则文法生成。
* 可用前缀文法生成。
, Регуля́рный язык (регуля́рное мно́жество) … Регуля́рный язык (регуля́рное мно́жество) в теории формальных языков — множество слов, которое распознает некоторый конечный автомат. Класс регулярных множеств удобно изучать в целом, а полученные результаты оказываются применимы для достаточно широкого спектра формальных языков.аточно широкого спектра формальных языков.
, 正規言語（せいきげんご）または正則言語（せいそくげんご）は、以下に示す性質（いずれも等価）を満たす形式言語である。
* 決定性有限オートマトンによって受理可能
* 非決定性有限オートマトンによって受理可能
* 正規表現で記述可能
* 正規文法から生成可能
* 読みとり専用チューリングマシンで受理可能
, In informatica teorica un linguaggio regol … 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 (automa a stati finiti deterministico o automa a stati finiti non deterministico).automa a stati finiti non deterministico).
, In theoretical computer science and formal … In theoretical computer science and formal language theory, a regular language (also called a rational language) is a formal language that can be defined by a regular expression, in the strict sense in theoretical computer science (as opposed to many modern regular expressions engines, which are augmented with features that allow recognition of non-regular languages). Alternatively, a regular language can be defined as a language recognized by a finite automaton. The equivalence of regular expressions and finite automata is known as Kleene's theorem (after American mathematician Stephen Cole Kleene). In the Chomsky hierarchy, regular languages are the languages generated by Type-3 grammars.he languages generated by Type-3 grammars.
, Na teoria da ciência da computação e teori … Na teoria da ciência da computação e teoria formal de linguagem, uma linguagem regular é uma linguagem formal que pode ser expressa usando expressões regulares, ou seja, uma linguagem produzida utilizando as operações de concatenação, união e fecho de Kleene sobre os elementos de um alfabeto. De acordo com a hierarquia de Chomsky, linguagens regulares são aquelas geradas por gramática regulares. As linguagens regulares são utilizadas para descrever dispositivos que realizam computações simples, como os autômatos finitos, pois representam a linguagem mais elementar classificada pela hierarquia de Chomsky que não requer memória para ser reconhecida. No projeto de linguagens de programação, as linguagens regulares são úteis no processo de análise sintática.ão úteis no processo de análise sintática.
, Un lenguaje regular es un tipo de lenguaje … Un lenguaje regular es un tipo de lenguaje formal que satisface las siguientes propiedades: Los lenguajes más sencillos que se considerarán son los lenguajes regulares, es decir, los que se pueden generar a partir de los lenguajes básicos, con la aplicación de las operaciones de unión, concatenación y * de Kleene un número finito de veces. 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 Es descrito por:
* una expresión regular
, Regulární jazyky jsou nejjednodušší formál … Regulární jazyky jsou nejjednodušší formální jazyky v rámci Chomského hierarchie. Regulární jazyky nad abecedou Σ lze zavést následujícím způsobem:
* prázdný jazyk Ø je regulární.
* pro každé a z abecedy, jazyk { a } je regulární.
* pokud A a B jsou regulární jazyky, jsou A ∪ B (sjednocení), A • B (konkatenace), a A* (iterace) také regulární.
* žádné další jazyky regulární nejsou. O regulárních jazycích lze dokázat řadu tvrzení. Např. formální jazyk je regulární, právě když:
* je akceptovaný nějakým deterministickým konečným automatem,
* je akceptovaný nějakým nedeterministickým konečným automatem,
* může být popsán regulárním výrazem nebo
* může být vygenerován regulární gramatikou Všechny konečné jazyky jsou regulární. Dalším příkladem je například jazyk nad abecedou {a, b} obsahující lichý počet symbolů a. Všechny regulární jazyky jsou bezkontextové, ale ne všechny bezkontextové jazyky jsou regulární. Tomuto je možno snadno nahlédnout díky Chomského Hierarchii na obrázku:
* To, že „Regulární => bezkontextový“ a ne vždy opačně, je možné vidět na obrázku Chomského hierarchie (kterážto implikuje stromovou strukturu). Všechny regulární jazyky splňují nutnou podmínku, tzv. lemma o vkládání, a platí pro ně Myhillova-Nerodova věta.í, a platí pro ně Myhillova-Nerodova věta.
, 정규 언어(regular language), 합리적 언어(rational l … 정규 언어(regular language), 합리적 언어(rational language)는 이론 전산학, 형식 언어 이론에서 정규 표현식을 이용하여 표현할 수 있는 형식 언어이다. 정규 언어는 유한 상태 기계가 인지하는 언어로 정의할 수도 있다. 정규 표현식과 유한 상태 기계의 등가성은 클레이니의 정리로 알려져 있다. 촘스키 위계에서 정규 언어는 3형 문법(정규 문법)에 의해 생성되는 언어로 정의된다. 정규 언어는 입력 구문 분석(파싱)과 프로그래밍 언어 설계에 매우 유용하다.정규 언어는 입력 구문 분석(파싱)과 프로그래밍 언어 설계에 매우 유용하다.
, En matemàtiques, lògica i complexitat comp … En matemàtiques, lògica i complexitat computacional un llenguatge formal és un llenguatge regular si es pot expressar usant expressions regulars. També es pot definir un llenguatge regular com aquell que reconeix un autòmat finit. L'equivalència entre les expressions regulars i autòmats finits es demostra al , Aquest tipus de llenguatges s'etiqueten com de tipus 3 en la jerarquia de Chomsky dels llenguatges formals. Els llenguatges regulars son força útils en l'anàlisi d'entrades i el disseny de llenguatges de programació. el disseny de llenguatges de programació.
, Регулярна мова (регулярна множина) — форма … Регулярна мова (регулярна множина) — формальна мова третього (найвужчого) класу в ієрархії Чомскі. Регулярну мову можна задати регулярною граматикою або регулярним виразом, або ж ДСкА чи НДСкА, що її розпізнають. Від контекстно-вільних мов регулярні відрізняються додатковими умовами: права частина правил виведення має бути порожнім словом, термінальним, нетермінальним, або нетермінальний вслід за яким стоїть термінальний символ. Для визначення приналежності мови до класу регулярних існує Лема про накачку для регулярних мов та .є Лема про накачку для регулярних мов та .
, In der theoretischen Informatik ist eine r … In der theoretischen Informatik ist eine reguläre Sprache oder reguläre Menge oder erkennbare 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.n regulären Ausdrücken beschrieben werden.
, De reguliere talen vormen een klasse van f … De reguliere talen vormen een klasse van formele talen. Reguliere talen hebben een relatief eenvoudige structuur, waardoor ze zeer geschikt zijn om door computerprogramma's verwerkt te worden. Daarom hebben ze vele toepassingen in de informatica, onder andere in tekstbewerkingsprogramma's (reguliere expressies), in de compilerbouw (in het bijzonder bij de lexicale analyse) en bij modelverificatie.lexicale analyse) en bij modelverificatie.
, En théorie des langages, les langages rati … En théorie des langages, 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 de Kleene, d'où le nom de langages rationnels ;
* ce sont les langages reconnus par des automates finis, d'où le nom de langages reconnaissables. 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 (par exemple pour décrire la morphologie d'une langue), 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.ral une implémentation rapide et efficace.
, Στην επιστήμη των υπολογιστών και τη θεωρί … Στην επιστήμη των υπολογιστών και τη θεωρία τυπικών γλωσσών, μία κανονική γλώσσα είναι μία τυπική γλώσσα που μπορεί να εκφραστεί με μια κανονική έκφραση, όπως αυτή ορίζεται από τη θεωρία της επιστήμης των υπολογιστών (και όχι με την έννοια των μηχανισμών τυπικών εκφράσεων που παρέχουν πολλές σύγχρονες γλώσσες προγραμματισμού). Εναλλακτικά, μια κανονική γλώσσα μπορεί να οριστεί ως η γλώσσα εκείνη που αναγνωρίζεται από ένα . Η ισοδυναμία των κανονικών εκφράσεων και των αυτομάτων είναι γνωστή ως το θεώρημα του Kleene. Στην ιεραρχία του Chomsky, οι κανονικές γλώσσες ορίζονται ως εκείνες που παράγονται από γραμματικές τύπου 3. Οι κανονικές γλώσσες είναι ιδιαίτερα χρήσιμες στη συντακτική ανάλυση εισόδου και το σχεδιασμό γλωσσών προγραμματισμού. και το σχεδιασμό γλωσσών προγραμματισμού.
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Chomsky-hierarchy.svg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.rand.org/content/dam/rand/pubs/research_memoranda/2008/RM704.pdf +
, https://archive.org/details/designanalysisof00ahoarich +
|
| http://dbpedia.org/ontology/wikiPageID
|
25723
|
| http://dbpedia.org/ontology/wikiPageLength
|
28474
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1121933908
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/NP-complete +
, http://dbpedia.org/resource/Kleene-Sch%C3%BCtzenberger_theorem +
, http://dbpedia.org/resource/Weighted_rational_expression +
, http://dbpedia.org/resource/String_homomorphism +
, http://dbpedia.org/resource/Weighted_automata +
, http://dbpedia.org/resource/Category:Formal_languages +
, http://dbpedia.org/resource/Decision_problem +
, http://dbpedia.org/resource/B%C3%BCchi%E2%80%93Elgot%E2%80%93Trakhtenbrot_theorem +
, http://dbpedia.org/resource/Chomsky_hierarchy +
, http://dbpedia.org/resource/Context_free_language +
, http://dbpedia.org/resource/Formal_power_series_over_a_semiring +
, http://dbpedia.org/resource/Logarithmic_space +
, http://dbpedia.org/resource/Finite_automaton +
, http://dbpedia.org/resource/Syntactic_congruence +
, http://dbpedia.org/resource/Monoid_homomorphism +
, http://dbpedia.org/resource/Set-theoretic_operations +
, http://dbpedia.org/resource/Tree_automaton +
, http://dbpedia.org/resource/Boolean_semiring +
, http://dbpedia.org/resource/S2S_%28mathematics%29 +
, http://dbpedia.org/resource/Alternating_finite_automaton +
, http://dbpedia.org/resource/Noam_Chomsky +
, http://dbpedia.org/resource/Formal_language_theory +
, http://dbpedia.org/resource/Catalan_number +
, http://dbpedia.org/resource/Regular_expression +
, http://dbpedia.org/resource/Free_monoid +
, http://dbpedia.org/resource/Empty_string +
, http://dbpedia.org/resource/Pumping_lemma_for_regular_languages +
, http://dbpedia.org/resource/Rational_function +
, http://dbpedia.org/resource/Prefix_grammar +
, http://dbpedia.org/resource/Recognizable_set +
, http://dbpedia.org/resource/Deterministic_finite_automaton +
, http://dbpedia.org/resource/Elementary_equivalence +
, http://dbpedia.org/resource/PSPACE-complete +
, http://dbpedia.org/resource/Right_quotient +
, http://dbpedia.org/resource/Dyck_language +
, http://dbpedia.org/resource/Rational_series +
, http://dbpedia.org/resource/Regular_grammar +
, http://dbpedia.org/resource/Chomsky_normal_form +
, http://dbpedia.org/resource/Finite_state_transducer +
, http://dbpedia.org/resource/DFA_minimization +
, http://dbpedia.org/resource/Category:Finite_automata +
, http://dbpedia.org/resource/RAND_Corporation +
, http://dbpedia.org/resource/Singleton_%28mathematics%29 +
, http://dbpedia.org/resource/%CE%A9-automaton +
, http://dbpedia.org/resource/File:Chomsky-hierarchy.svg +
, http://dbpedia.org/resource/Two-way_finite_automaton +
, http://dbpedia.org/resource/Algebra_of_sets +
, http://dbpedia.org/resource/Abstract_family_of_languages +
, http://dbpedia.org/resource/Palindrome +
, http://dbpedia.org/resource/Computational_complexity_theory +
, http://dbpedia.org/resource/Star-free_language +
, http://dbpedia.org/resource/Kleene_star +
, http://dbpedia.org/resource/Samuel_Eilenberg +
, http://dbpedia.org/resource/Rational_set +
, http://dbpedia.org/resource/Analytic_Combinatorics +
, http://dbpedia.org/resource/Myhill%E2%80%93Nerode_theorem +
, http://dbpedia.org/resource/Complement_%28set_theory%29 +
, http://dbpedia.org/resource/Big_O_notation +
, http://dbpedia.org/resource/Cambridge_University_Press +
, http://dbpedia.org/resource/Regular_language +
, http://dbpedia.org/resource/Kolmogorov_complexity +
, http://dbpedia.org/resource/Concatenation +
, http://dbpedia.org/resource/Stephen_Cole_Kleene +
, http://dbpedia.org/resource/AC0 +
, http://dbpedia.org/resource/Constant-recursive_sequence +
, http://dbpedia.org/resource/Second-order_logic +
, http://dbpedia.org/resource/Cyclic_language +
, http://dbpedia.org/resource/Turing_machine +
, http://dbpedia.org/resource/Complexity_class +
, http://dbpedia.org/resource/Alphabet_%28formal_languages%29 +
, http://dbpedia.org/resource/Intersection_%28set_theory%29 +
, http://dbpedia.org/resource/Relative_complement +
, http://dbpedia.org/resource/DSPACE +
, http://dbpedia.org/resource/Preimage +
, http://dbpedia.org/resource/Closure_%28mathematics%29 +
, http://dbpedia.org/resource/Formal_language +
, http://dbpedia.org/resource/Syntactic_monoid +
, http://dbpedia.org/resource/Union_%28set_theory%29 +
, http://dbpedia.org/resource/Formal_power_series +
, http://dbpedia.org/resource/Monadic_predicate_calculus +
, http://dbpedia.org/resource/Ordinary_generating_function +
, http://dbpedia.org/resource/Theoretical_computer_science +
, http://dbpedia.org/resource/Nondeterministic_finite_automaton +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Tmath +
, http://dbpedia.org/resource/Template:Commons_category-inline +
, http://dbpedia.org/resource/Template:Math +
, http://dbpedia.org/resource/Template:Formal_languages_and_grammars +
, http://dbpedia.org/resource/Template:CZoo +
, http://dbpedia.org/resource/Template:Main +
, http://dbpedia.org/resource/Template:Overline +
, http://dbpedia.org/resource/Template:For +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Cite_book +
, http://dbpedia.org/resource/Template:Refbegin +
, http://dbpedia.org/resource/Template:Refend +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Anchor +
, http://dbpedia.org/resource/Template:Redirect +
, http://dbpedia.org/resource/Template:Citation_needed +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Formal_languages +
, http://dbpedia.org/resource/Category:Finite_automata +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Language +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Regular_language?oldid=1121933908&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Chomsky-hierarchy.svg +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Regular_language +
|
| owl:sameAs |
http://hr.dbpedia.org/resource/Regularni_jezik +
, http://pl.dbpedia.org/resource/J%C4%99zyk_regularny +
, http://rdf.freebase.com/ns/m.06f10 +
, http://pt.dbpedia.org/resource/Linguagem_regular +
, http://www.wikidata.org/entity/Q752532 +
, https://global.dbpedia.org/id/4uPUC +
, http://fr.dbpedia.org/resource/Langage_rationnel +
, http://ro.dbpedia.org/resource/Limbaj_regulat +
, http://ru.dbpedia.org/resource/%D0%A0%D0%B5%D0%B3%D1%83%D0%BB%D1%8F%D1%80%D0%BD%D1%8B%D0%B9_%D1%8F%D0%B7%D1%8B%D0%BA +
, http://dbpedia.org/resource/Regular_language +
, http://nl.dbpedia.org/resource/Reguliere_taal +
, http://ca.dbpedia.org/resource/Llenguatge_regular +
, http://fi.dbpedia.org/resource/S%C3%A4%C3%A4nn%C3%B6llinen_kieli +
, http://ja.dbpedia.org/resource/%E6%AD%A3%E8%A6%8F%E8%A8%80%E8%AA%9E +
, http://es.dbpedia.org/resource/Lenguaje_regular +
, http://hu.dbpedia.org/resource/Regul%C3%A1ris_nyelv +
, http://no.dbpedia.org/resource/Regul%C3%A6rt_spr%C3%A5k +
, http://sr.dbpedia.org/resource/Regularni_jezik +
, http://zh.dbpedia.org/resource/%E6%AD%A3%E5%88%99%E8%AF%AD%E8%A8%80 +
, http://ko.dbpedia.org/resource/%EC%A0%95%EA%B7%9C_%EC%96%B8%EC%96%B4 +
, http://he.dbpedia.org/resource/%D7%A9%D7%A4%D7%94_%D7%A8%D7%92%D7%95%D7%9C%D7%A8%D7%99%D7%AA +
, http://it.dbpedia.org/resource/Linguaggio_regolare +
, http://el.dbpedia.org/resource/%CE%9A%CE%B1%CE%BD%CE%BF%CE%BD%CE%B9%CE%BA%CE%AE_%CE%B3%CE%BB%CF%8E%CF%83%CF%83%CE%B1 +
, http://yago-knowledge.org/resource/Regular_language +
, http://uk.dbpedia.org/resource/%D0%A0%D0%B5%D0%B3%D1%83%D0%BB%D1%8F%D1%80%D0%BD%D0%B0_%D0%BC%D0%BE%D0%B2%D0%B0 +
, http://de.dbpedia.org/resource/Regul%C3%A4re_Sprache +
, http://fa.dbpedia.org/resource/%D8%B2%D8%A8%D8%A7%D9%86_%D9%85%D9%86%D8%B8%D9%85 +
, http://cs.dbpedia.org/resource/Regul%C3%A1rn%C3%AD_jazyk +
|
| rdf:type |
http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/Communication100033020 +
, http://dbpedia.org/class/yago/WikicatFormalLanguages +
, http://dbpedia.org/ontology/Language +
, http://dbpedia.org/class/yago/Language106282651 +
|
| rdfs:comment |
De reguliere talen vormen een klasse van f … De reguliere talen vormen een klasse van formele talen. Reguliere talen hebben een relatief eenvoudige structuur, waardoor ze zeer geschikt zijn om door computerprogramma's verwerkt te worden. Daarom hebben ze vele toepassingen in de informatica, onder andere in tekstbewerkingsprogramma's (reguliere expressies), in de compilerbouw (in het bijzonder bij de lexicale analyse) en bij modelverificatie.lexicale analyse) en bij modelverificatie.
, In der theoretischen Informatik ist eine r … In der theoretischen Informatik ist eine reguläre Sprache oder reguläre Menge oder erkennbare 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.n regulären Ausdrücken beschrieben werden.
, Στην επιστήμη των υπολογιστών και τη θεωρί … Στην επιστήμη των υπολογιστών και τη θεωρία τυπικών γλωσσών, μία κανονική γλώσσα είναι μία τυπική γλώσσα που μπορεί να εκφραστεί με μια κανονική έκφραση, όπως αυτή ορίζεται από τη θεωρία της επιστήμης των υπολογιστών (και όχι με την έννοια των μηχανισμών τυπικών εκφράσεων που παρέχουν πολλές σύγχρονες γλώσσες προγραμματισμού). Οι κανονικές γλώσσες είναι ιδιαίτερα χρήσιμες στη συντακτική ανάλυση εισόδου και το σχεδιασμό γλωσσών προγραμματισμού. και το σχεδιασμό γλωσσών προγραμματισμού.
, 정규 언어(regular language), 합리적 언어(rational l … 정규 언어(regular language), 합리적 언어(rational language)는 이론 전산학, 형식 언어 이론에서 정규 표현식을 이용하여 표현할 수 있는 형식 언어이다. 정규 언어는 유한 상태 기계가 인지하는 언어로 정의할 수도 있다. 정규 표현식과 유한 상태 기계의 등가성은 클레이니의 정리로 알려져 있다. 촘스키 위계에서 정규 언어는 3형 문법(정규 문법)에 의해 생성되는 언어로 정의된다. 정규 언어는 입력 구문 분석(파싱)과 프로그래밍 언어 설계에 매우 유용하다.정규 언어는 입력 구문 분석(파싱)과 프로그래밍 언어 설계에 매우 유용하다.
, 正则语言又称正规语言是满足下述相互等价的一组条件的一类形式语言：
* 可被确定有限状态自动机识别；
* 可被非确定有限状态自动机识别；
* 可被只读图灵机识别；
* 可用正则表达式描述；
* 可用正则文法生成。
* 可用前缀文法生成。
, In informatica teorica un linguaggio regol … 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 (automa a stati finiti deterministico o automa a stati finiti non deterministico).automa a stati finiti non deterministico).
, Регулярна мова (регулярна множина) — форма … Регулярна мова (регулярна множина) — формальна мова третього (найвужчого) класу в ієрархії Чомскі. Регулярну мову можна задати регулярною граматикою або регулярним виразом, або ж ДСкА чи НДСкА, що її розпізнають. Від контекстно-вільних мов регулярні відрізняються додатковими умовами: права частина правил виведення має бути порожнім словом, термінальним, нетермінальним, або нетермінальний вслід за яким стоїть термінальний символ. Для визначення приналежності мови до класу регулярних існує Лема про накачку для регулярних мов та .є Лема про накачку для регулярних мов та .
, Na teoria da ciência da computação e teori … Na teoria da ciência da computação e teoria formal de linguagem, uma linguagem regular é uma linguagem formal que pode ser expressa usando expressões regulares, ou seja, uma linguagem produzida utilizando as operações de concatenação, união e fecho de Kleene sobre os elementos de um alfabeto. De acordo com a hierarquia de Chomsky, linguagens regulares são aquelas geradas por gramática regulares. No projeto de linguagens de programação, as linguagens regulares são úteis no processo de análise sintática.ão úteis no processo de análise sintática.
, Regulární jazyky jsou nejjednodušší formál … Regulární jazyky jsou nejjednodušší formální jazyky v rámci Chomského hierarchie. Regulární jazyky nad abecedou Σ lze zavést následujícím způsobem:
* prázdný jazyk Ø je regulární.
* pro každé a z abecedy, jazyk { a } je regulární.
* pokud A a B jsou regulární jazyky, jsou A ∪ B (sjednocení), A • B (konkatenace), a A* (iterace) také regulární.
* žádné další jazyky regulární nejsou. O regulárních jazycích lze dokázat řadu tvrzení. Např. formální jazyk je regulární, právě když:
* Všechny regulární jazyky splňují nutnou podmínku, tzv. lemma o vkládání, a platí pro ně Myhillova-Nerodova věta.í, a platí pro ně Myhillova-Nerodova věta.
, Język regularny – język formalny taki, że … Język regularny – język formalny taki, że istnieje deterministyczny automat skończony potrafiący zdecydować, czy dane słowo należy do języka. Równoważnie, taki, że istnieje dlań gramatyka regularna. W hierarchii Chomsky’ego jest zdefiniowany jako język typu 3. Wszystkie języki regularne są bezkontekstowe.ystkie języki regularne są bezkontekstowe.
, In theoretical computer science and formal … In theoretical computer science and formal language theory, a regular language (also called a rational language) is a formal language that can be defined by a regular expression, in the strict sense in theoretical computer science (as opposed to many modern regular expressions engines, which are augmented with features that allow recognition of non-regular languages).low recognition of non-regular languages).
, En théorie des langages, les langages rati … En théorie des langages, 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 de Kleene, d'où le nom de langages rationnels ;
* ce sont les langages reconnus par des automates finis, d'où le nom de langages reconnaissables., d'où le nom de langages reconnaissables.
, Un lenguaje regular es un tipo de lenguaje … Un lenguaje regular es un tipo de lenguaje formal que satisface las siguientes propiedades: Los lenguajes más sencillos que se considerarán son los lenguajes regulares, es decir, los que se pueden generar a partir de los lenguajes básicos, con la aplicación de las operaciones de unión, concatenación y * de Kleene un número finito de veces. 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: Es descrito por:
* una expresión regular Es descrito por:
* una expresión regular
, En matemàtiques, lògica i complexitat comp … En matemàtiques, lògica i complexitat computacional un llenguatge formal és un llenguatge regular si es pot expressar usant expressions regulars. També es pot definir un llenguatge regular com aquell que reconeix un autòmat finit. L'equivalència entre les expressions regulars i autòmats finits es demostra al , Aquest tipus de llenguatges s'etiqueten com de tipus 3 en la jerarquia de Chomsky dels llenguatges formals. Els llenguatges regulars son força útils en l'anàlisi d'entrades i el disseny de llenguatges de programació. el disseny de llenguatges de programació.
, 正規言語（せいきげんご）または正則言語（せいそくげんご）は、以下に示す性質（いずれも等価）を満たす形式言語である。
* 決定性有限オートマトンによって受理可能
* 非決定性有限オートマトンによって受理可能
* 正規表現で記述可能
* 正規文法から生成可能
* 読みとり専用チューリングマシンで受理可能
, Регуля́рный язык (регуля́рное мно́жество) … Регуля́рный язык (регуля́рное мно́жество) в теории формальных языков — множество слов, которое распознает некоторый конечный автомат. Класс регулярных множеств удобно изучать в целом, а полученные результаты оказываются применимы для достаточно широкого спектра формальных языков.аточно широкого спектра формальных языков.
|
| rdfs:label |
Linguagem regular
, Langage rationnel
, Reguläre Sprache
, 正規言語
, Reguliere taal
, Regular language
, 正则语言
, Llenguatge regular
, 정규 언어
, Regulární jazyk
, Język regularny
, Κανονική γλώσσα
, Linguaggio regolare
, Регулярный язык
, Регулярна мова
, Lenguaje regular
|
