Arden's rule (original) (raw)
Das Lemma von Arden trifft eine Aussage über Mengen von Zeichenreihen, welche im Rahmen der formalen Sprachen Gegenstand der theoretischen Informatik, spezieller der Automatentheorie sind.
| Property | Value |
|---|---|
| dbo:abstract | Das Lemma von Arden trifft eine Aussage über Mengen von Zeichenreihen, welche im Rahmen der formalen Sprachen Gegenstand der theoretischen Informatik, spezieller der Automatentheorie sind. (de) In theoretical computer science, Arden's rule, also known as Arden's lemma, is a mathematical statement about a certain form of language equations. (en) El Lema de Arden, en lenguajes formales, indica una solución particular a la ecuación con expresiones regulares: (en donde y son expresiones regulares conocidas, y es desconocida). Esta solución provee un Algoritmo sistemático y metódico para la conversión de Autómata finito a Expresión regular. (es) En théorie des automates, le lemme d'Arden est un résultat concernant les langages rationnels. Il décrit les solutions de l'équation : où et sont deux langages formels et est une inconnue. Le lemme d'Arden s'utilise notamment dans la méthode des équations linéaires gauches qui permet de calculer le langage reconnu par un automate fini donné. Le lemme est nommé d'après Dean N. Arden qui l'a décrit en 1961. C'est maintenant un résultat que l’on retrouve dans de nombreux manuels ou supports de cours. (fr) |
| dbo:wikiPageExternalLink | https://ieeexplore.ieee.org/document/5397289 |
| dbo:wikiPageID | 26501091 (xsd:integer) |
| dbo:wikiPageLength | 3139 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 995790039 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Nondeterministic_finite_automaton dbr:Regular_expression dbr:Introduction_to_Automata_Theory,_Languages,_and_Computation dbr:Concatenation dbr:Operand dbr:Linear_equation dbr:Theoretical_computer_science dbr:Language_equation dbr:Formal_language dbc:Formal_languages dbr:Kleene's_algorithm dbr:Kleene_star dbr:Set_union |
| dbp:wikiPageUsesTemplate | dbt:Cite_book dbt:ISBN dbt:Refimprove dbt:Reflist |
| dcterms:subject | dbc:Formal_languages |
| rdfs:comment | Das Lemma von Arden trifft eine Aussage über Mengen von Zeichenreihen, welche im Rahmen der formalen Sprachen Gegenstand der theoretischen Informatik, spezieller der Automatentheorie sind. (de) In theoretical computer science, Arden's rule, also known as Arden's lemma, is a mathematical statement about a certain form of language equations. (en) El Lema de Arden, en lenguajes formales, indica una solución particular a la ecuación con expresiones regulares: (en donde y son expresiones regulares conocidas, y es desconocida). Esta solución provee un Algoritmo sistemático y metódico para la conversión de Autómata finito a Expresión regular. (es) En théorie des automates, le lemme d'Arden est un résultat concernant les langages rationnels. Il décrit les solutions de l'équation : où et sont deux langages formels et est une inconnue. Le lemme d'Arden s'utilise notamment dans la méthode des équations linéaires gauches qui permet de calculer le langage reconnu par un automate fini donné. Le lemme est nommé d'après Dean N. Arden qui l'a décrit en 1961. C'est maintenant un résultat que l’on retrouve dans de nombreux manuels ou supports de cours. (fr) |
| rdfs:label | Lemma von Arden (de) Arden's rule (en) Lema de Arden (es) Lemme d'Arden (fr) |
| owl:sameAs | wikidata:Arden's rule dbpedia-de:Arden's rule dbpedia-es:Arden's rule dbpedia-fr:Arden's rule https://global.dbpedia.org/id/4r44R |
| prov:wasDerivedFrom | wikipedia-en:Arden's_rule?oldid=995790039&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Arden's_rule |
| is dbo:wikiPageRedirects of | dbr:Arden's_Rule dbr:Arden's_lemma |
| is dbo:wikiPageWikiLink of | dbr:Language_equation dbr:Arden's_Rule dbr:Arden's_lemma |
| is foaf:primaryTopic of | wikipedia-en:Arden's_rule |