About: Regular language     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatFormalLanguages, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon
http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FRegular_language

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).

AttributesValues
rdf:type
rdfs:label
  • Llenguatge regular (ca)
  • Regulární jazyk (cs)
  • Reguläre Sprache (de)
  • Κανονική γλώσσα (el)
  • Lenguaje regular (es)
  • Langage rationnel (fr)
  • Linguaggio regolare (it)
  • 정규 언어 (ko)
  • 正規言語 (ja)
  • Reguliere taal (nl)
  • Regular language (en)
  • Język regularny (pl)
  • Linguagem regular (pt)
  • Регулярный язык (ru)
  • Регулярна мова (uk)
  • 正则语言 (zh)
rdfs:comment
  • 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ó. (ca)
  • 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. (de)
  • 正規言語(せいきげんご)または正則言語(せいそくげんご)は、以下に示す性質(いずれも等価)を満たす形式言語である。 * 決定性有限オートマトンによって受理可能 * 非決定性有限オートマトンによって受理可能 * 正規表現で記述可能 * 正規文法から生成可能 * 読みとり専用チューリングマシンで受理可能 (ja)
  • 정규 언어(regular language), 합리적 언어(rational language)는 이론 전산학, 형식 언어 이론에서 정규 표현식을 이용하여 표현할 수 있는 형식 언어이다. 정규 언어는 유한 상태 기계가 인지하는 언어로 정의할 수도 있다. 정규 표현식과 유한 상태 기계의 등가성은 클레이니의 정리로 알려져 있다. 촘스키 위계에서 정규 언어는 3형 문법(정규 문법)에 의해 생성되는 언어로 정의된다. 정규 언어는 입력 구문 분석(파싱)과 프로그래밍 언어 설계에 매우 유용하다. (ko)
  • 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). (it)
  • 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. (nl)
  • 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. (pl)
  • 正则语言又称正规语言是满足下述相互等价的一组条件的一类形式语言: * 可被确定有限状态自动机识别; * 可被非确定有限状态自动机识别; * 可被只读图灵机识别; * 可用正则表达式描述; * 可用正则文法生成。 * 可用前缀文法生成。 (zh)
  • Регуля́рный язык (регуля́рное мно́жество) в теории формальных языков — множество слов, которое распознает некоторый конечный автомат. Класс регулярных множеств удобно изучать в целом, а полученные результаты оказываются применимы для достаточно широкого спектра формальных языков. (ru)
  • Регулярна мова (регулярна множина) — формальна мова третього (найвужчого) класу в ієрархії Чомскі. Регулярну мову можна задати регулярною граматикою або регулярним виразом, або ж ДСкА чи НДСкА, що її розпізнають. Від контекстно-вільних мов регулярні відрізняються додатковими умовами: права частина правил виведення має бути порожнім словом, термінальним, нетермінальним, або нетермінальний вслід за яким стоїть термінальний символ. Для визначення приналежності мови до класу регулярних існує Лема про накачку для регулярних мов та . (uk)
  • 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. (cs)
  • Στην επιστήμη των υπολογιστών και τη θεωρία τυπικών γλωσσών, μία κανονική γλώσσα είναι μία τυπική γλώσσα που μπορεί να εκφραστεί με μια κανονική έκφραση, όπως αυτή ορίζεται από τη θεωρία της επιστήμης των υπολογιστών (και όχι με την έννοια των μηχανισμών τυπικών εκφράσεων που παρέχουν πολλές σύγχρονες γλώσσες προγραμματισμού). Οι κανονικές γλώσσες είναι ιδιαίτερα χρήσιμες στη συντακτική ανάλυση εισόδου και το σχεδιασμό γλωσσών προγραμματισμού. (el)
  • 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)
  • 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). (en)
  • 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. (fr)
  • 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. (pt)
foaf:depiction
  • http://commons.wikimedia.org/wiki/Special:FilePath/Chomsky-hierarchy.svg
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 59 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software