En informatique théorique, et notamment en théorie des langages rationnels, un langage local est un langage formel pour lequel l'appartenance d'un mot au langage peut être testée en considérant les blocs de deux lettres consécutives ou, de manière plus imagée, en faisant glisser sur le mot une « fenêtre » de largeur 2. De manière équivalente, c'est un langage rationnel qui peut être reconnu par un automate fini déterministe d'un type particulier, appelé automate local. Ces automates et langages interviennent notamment dans la construction de Glushkov. Un langage local est un langage sans étoile.

Property Value
dbo:abstract
  • En informatique théorique, et notamment en théorie des langages rationnels, un langage local est un langage formel pour lequel l'appartenance d'un mot au langage peut être testée en considérant les blocs de deux lettres consécutives ou, de manière plus imagée, en faisant glisser sur le mot une « fenêtre » de largeur 2. De manière équivalente, c'est un langage rationnel qui peut être reconnu par un automate fini déterministe d'un type particulier, appelé automate local. Ces automates et langages interviennent notamment dans la construction de Glushkov. Un langage local est un langage sans étoile. (fr)
  • En informatique théorique, et notamment en théorie des langages rationnels, un langage local est un langage formel pour lequel l'appartenance d'un mot au langage peut être testée en considérant les blocs de deux lettres consécutives ou, de manière plus imagée, en faisant glisser sur le mot une « fenêtre » de largeur 2. De manière équivalente, c'est un langage rationnel qui peut être reconnu par un automate fini déterministe d'un type particulier, appelé automate local. Ces automates et langages interviennent notamment dans la construction de Glushkov. Un langage local est un langage sans étoile. (fr)
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 10655956 (xsd:integer)
dbo:wikiPageLength
  • 7596 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 171852280 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 1971 (xsd:integer)
  • 1981 (xsd:integer)
  • 1997 (xsd:integer)
  • 2004 (xsd:integer)
  • 2009 (xsd:integer)
prop-fr:auteur
  • Sheng Yu (fr)
  • Sheng Yu (fr)
prop-fr:auteursOuvrage
  • G. Rozenberg, A. Salomaa (fr)
  • G. Rozenberg, A. Salomaa (fr)
prop-fr:champLibre
  • avec un appendice de William Henneman (fr)
  • traduit du français par Reuben Thomas (fr)
  • avec un appendice de William Henneman (fr)
  • traduit du français par Reuben Thomas (fr)
prop-fr:collection
  • Research Monograph (fr)
  • Research Monograph (fr)
prop-fr:doi
  • 10.100700 (xsd:double)
prop-fr:isbn
  • 0 (xsd:integer)
  • 1 (xsd:integer)
  • 978 (xsd:integer)
prop-fr:langue
  • en (fr)
  • en (fr)
prop-fr:lienAuteur
  • Arto Salomaa (fr)
  • Seymour Papert (fr)
  • Arto Salomaa (fr)
  • Seymour Papert (fr)
prop-fr:lieu
  • Cambridge (fr)
  • Boca Raton/London/New York etc. (fr)
  • Cambridge (fr)
  • Boca Raton/London/New York etc. (fr)
prop-fr:lireEnLigne
prop-fr:nom
  • Lawson (fr)
  • Sakarovitch (fr)
  • McNaughton (fr)
  • Salomaa (fr)
  • Papert (fr)
  • Lawson (fr)
  • Sakarovitch (fr)
  • McNaughton (fr)
  • Salomaa (fr)
  • Papert (fr)
prop-fr:numéroDansCollection
  • 65 (xsd:integer)
prop-fr:pagesTotales
  • 163 (xsd:integer)
  • 307 (xsd:integer)
  • 758 (xsd:integer)
prop-fr:passage
  • 41 (xsd:integer)
prop-fr:prénom
  • Jacques (fr)
  • Robert (fr)
  • Seymour (fr)
  • Arto (fr)
  • Mark V. (fr)
  • Jacques (fr)
  • Robert (fr)
  • Seymour (fr)
  • Arto (fr)
  • Mark V. (fr)
prop-fr:titre
  • Jewels of Formal Language Theory (fr)
  • Finite automata (fr)
  • Elements of automata theory (fr)
  • Counter-free Automata (fr)
  • Jewels of Formal Language Theory (fr)
  • Finite automata (fr)
  • Elements of automata theory (fr)
  • Counter-free Automata (fr)
prop-fr:titreChapitre
  • Regular Languages (fr)
  • Regular Languages (fr)
prop-fr:titreOuvrage
  • Handbook of Formal Languages (fr)
  • Handbook of Formal Languages (fr)
prop-fr:titreVolume
  • Word, Language, Grammar (fr)
  • Word, Language, Grammar (fr)
prop-fr:volume
  • 1 (xsd:integer)
prop-fr:wikiPageUsesTemplate
prop-fr:zbl
  • 232.940240 (xsd:double)
  • 487.680640 (xsd:double)
  • 1086.680740 (xsd:double)
  • 1188.681770 (xsd:double)
prop-fr:éditeur
dct:subject
rdfs:comment
  • En informatique théorique, et notamment en théorie des langages rationnels, un langage local est un langage formel pour lequel l'appartenance d'un mot au langage peut être testée en considérant les blocs de deux lettres consécutives ou, de manière plus imagée, en faisant glisser sur le mot une « fenêtre » de largeur 2. De manière équivalente, c'est un langage rationnel qui peut être reconnu par un automate fini déterministe d'un type particulier, appelé automate local. Ces automates et langages interviennent notamment dans la construction de Glushkov. Un langage local est un langage sans étoile. (fr)
  • En informatique théorique, et notamment en théorie des langages rationnels, un langage local est un langage formel pour lequel l'appartenance d'un mot au langage peut être testée en considérant les blocs de deux lettres consécutives ou, de manière plus imagée, en faisant glisser sur le mot une « fenêtre » de largeur 2. De manière équivalente, c'est un langage rationnel qui peut être reconnu par un automate fini déterministe d'un type particulier, appelé automate local. Ces automates et langages interviennent notamment dans la construction de Glushkov. Un langage local est un langage sans étoile. (fr)
rdfs:label
  • Langage local (fr)
  • Langage local (fr)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of