| Property |
Value |
| dbo:abstract
|
- Le problème de la hauteur d'étoile, en théorie des langages formels, est le problème qui consiste à déterminer la hauteur d'étoile d'un langage rationnel, c'est-à-dire le nombre minimal d'étoiles de Kleene imbriquées nécessaires dans une expression rationnelle pour qu'elle puisse dénoter ce langage. Il existe des langages rationnels de hauteur d'étoile arbitrairement grande, mais la détermination de la hauteur d'étoile d'un langage rationnel, tout en étant décidable, est très difficile. (fr)
- Le problème de la hauteur d'étoile, en théorie des langages formels, est le problème qui consiste à déterminer la hauteur d'étoile d'un langage rationnel, c'est-à-dire le nombre minimal d'étoiles de Kleene imbriquées nécessaires dans une expression rationnelle pour qu'elle puisse dénoter ce langage. Il existe des langages rationnels de hauteur d'étoile arbitrairement grande, mais la détermination de la hauteur d'étoile d'un langage rationnel, tout en étant décidable, est très difficile. (fr)
|
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 20525 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1953 (xsd:integer)
- 1963 (xsd:integer)
- 1966 (xsd:integer)
- 1967 (xsd:integer)
- 1980 (xsd:integer)
- 1981 (xsd:integer)
- 1982 (xsd:integer)
- 1988 (xsd:integer)
- 1996 (xsd:integer)
- 2002 (xsd:integer)
- 2005 (xsd:integer)
- 2009 (xsd:integer)
- 2015 (xsd:integer)
|
| prop-fr:auteur
| |
| prop-fr:auteurOuvrage
|
- Ronald V. Book (fr)
- Ronald V. Book (fr)
|
| prop-fr:collection
|
- Lecture Notes in Computer Science vol. 2286 (fr)
- Lecture Notes in Computer Science vol. 2286 (fr)
|
| prop-fr:doi
|
- 10.101600 (xsd:double)
- 10.105100 (xsd:double)
- 10.110900 (xsd:double)
- 10.130700 (xsd:double)
|
| prop-fr:fr
|
- langage pur à groupe (fr)
- langage pur à groupe (fr)
|
| prop-fr:isbn
|
- 0 (xsd:integer)
- 978 (xsd:integer)
|
| prop-fr:journal
| |
| prop-fr:langue
|
- en (fr)
- Francais (fr)
- en (fr)
- Francais (fr)
|
| prop-fr:lienAuteur
|
- Arto Salomaa (fr)
- Arto Salomaa (fr)
|
| prop-fr:lieu
|
- Cambridge (fr)
- Melbourne (fr)
- New York (fr)
- Cambridge (fr)
- Melbourne (fr)
- New York (fr)
|
| prop-fr:lireEnLigne
| |
| prop-fr:mathReviews
| |
| prop-fr:mois
|
- juillet (fr)
- juillet (fr)
|
| prop-fr:natureOuvrage
|
- Thèse de doctorat en informatique fondamental (fr)
- Thèse de doctorat en informatique fondamental (fr)
|
| prop-fr:nom
|
- Théorème (fr)
- Kirsten (fr)
- Sakarovitch (fr)
- McNaughton (fr)
- Salomaa (fr)
- Dejean (fr)
- Eggan (fr)
- Lombardy (fr)
- Hashiguchi (fr)
- Théorème (fr)
- Kirsten (fr)
- Sakarovitch (fr)
- McNaughton (fr)
- Salomaa (fr)
- Dejean (fr)
- Eggan (fr)
- Lombardy (fr)
- Hashiguchi (fr)
|
| prop-fr:numéro
|
- 1 (xsd:integer)
- 2 (xsd:integer)
- 3 (xsd:integer)
- 4 (xsd:integer)
- 28 (xsd:integer)
|
| prop-fr:pages
|
- 23 (xsd:integer)
- 124 (xsd:integer)
- 167 (xsd:integer)
- 199 (xsd:integer)
- 214 (xsd:integer)
- 245 (xsd:integer)
- 385 (xsd:integer)
- 455 (xsd:integer)
|
| prop-fr:pagesTotales
| |
| prop-fr:passage
|
- 23 (xsd:integer)
- 63 (xsd:integer)
|
| prop-fr:prénom
|
- Jacques (fr)
- Daniel (fr)
- Françoise (fr)
- Robert (fr)
- Sylvain (fr)
- Arto (fr)
- Lawrence C. (fr)
- Kosaburo (fr)
- Jacques (fr)
- Daniel (fr)
- Françoise (fr)
- Robert (fr)
- Sylvain (fr)
- Arto (fr)
- Lawrence C. (fr)
- Kosaburo (fr)
|
| prop-fr:périodique
| |
| prop-fr:texte
|
- langages purs à groupe (fr)
- langages purs à groupe (fr)
|
| prop-fr:titre
|
- Jewels of Formal Language Theory (fr)
- Elements of automata theory (fr)
- On a Question of Eggan (fr)
- Star Height of Reversible Languages and Universal Automata (fr)
- Infinite games with perfect information (fr)
- Open problems about regular languages (fr)
- Regular languages of star height one (fr)
- Star Height via Games (fr)
- Séries rationnelles et distributions de longueurs (fr)
- The Loop Complexity of Pure-Group Events (fr)
- Algorithms for Determining Relative Star Height and Star Height (fr)
- Distance Desert Automata and the Star Height Problem (fr)
- Transition graphs and the star-height of regular events (fr)
- Jewels of Formal Language Theory (fr)
- Elements of automata theory (fr)
- On a Question of Eggan (fr)
- Star Height of Reversible Languages and Universal Automata (fr)
- Infinite games with perfect information (fr)
- Open problems about regular languages (fr)
- Regular languages of star height one (fr)
- Star Height via Games (fr)
- Séries rationnelles et distributions de longueurs (fr)
- The Loop Complexity of Pure-Group Events (fr)
- Algorithms for Determining Relative Star Height and Star Height (fr)
- Distance Desert Automata and the Star Height Problem (fr)
- Transition graphs and the star-height of regular events (fr)
|
| prop-fr:titreOuvrage
|
- 5 (xsd:integer)
- Formal language theory—Perspectives and open problems (fr)
|
| prop-fr:trad
|
- Pure-group language (fr)
- Pure-group language (fr)
|
| prop-fr:traducteur
|
- Reuben Thomas (fr)
- Reuben Thomas (fr)
|
| prop-fr:url
| |
| prop-fr:urlTexte
| |
| prop-fr:volume
|
- 9 (xsd:integer)
- 10 (xsd:integer)
- 11 (xsd:integer)
- 39 (xsd:integer)
- 53 (xsd:integer)
- 78 (xsd:integer)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:zbl
|
- 173.015040 (xsd:double)
- 487.680630 (xsd:double)
- 1188.681770 (xsd:double)
|
| prop-fr:éditeur
| |
| prop-fr:énoncé
|
- Soit un langage rationnel. Si le monoïde syntactique de est un groupe et si l’automate minimal de possède un seul état final, alors la hauteur d’étoile du langage est égale au rang cyclique de cet automate. (fr)
- La hauteur d’étoile d’un langage rationnel est décidable. (fr)
- La hauteur d’étoile d’un langage rationnel est égal au minimum des rangs cycliques des automates finis reconnaissant ce langage. (fr)
- Soit un langage rationnel. Si le monoïde syntactique de est un groupe et si l’automate minimal de possède un seul état final, alors la hauteur d’étoile du langage est égale au rang cyclique de cet automate. (fr)
- La hauteur d’étoile d’un langage rationnel est décidable. (fr)
- La hauteur d’étoile d’un langage rationnel est égal au minimum des rangs cycliques des automates finis reconnaissant ce langage. (fr)
|
| dct:subject
| |
| rdfs:comment
|
- Le problème de la hauteur d'étoile, en théorie des langages formels, est le problème qui consiste à déterminer la hauteur d'étoile d'un langage rationnel, c'est-à-dire le nombre minimal d'étoiles de Kleene imbriquées nécessaires dans une expression rationnelle pour qu'elle puisse dénoter ce langage. Il existe des langages rationnels de hauteur d'étoile arbitrairement grande, mais la détermination de la hauteur d'étoile d'un langage rationnel, tout en étant décidable, est très difficile. (fr)
- Le problème de la hauteur d'étoile, en théorie des langages formels, est le problème qui consiste à déterminer la hauteur d'étoile d'un langage rationnel, c'est-à-dire le nombre minimal d'étoiles de Kleene imbriquées nécessaires dans une expression rationnelle pour qu'elle puisse dénoter ce langage. Il existe des langages rationnels de hauteur d'étoile arbitrairement grande, mais la détermination de la hauteur d'étoile d'un langage rationnel, tout en étant décidable, est très difficile. (fr)
|
| rdfs:label
|
- Problème de la hauteur d'étoile (fr)
- Problème de la hauteur d'étoile (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
