| 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
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 3139 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| 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
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
