| Property |
Value |
| dbo:abstract
|
- En informatique théorique et en théorie des langages, l'algorithme de Cocke-Younger-Kasami (CYK) est un algorithme d'analyse syntaxique pour les grammaires non contextuelles, publié par Itiroo Sakai en 1961. Il permet de déterminer si un mot est engendré par une grammaire, et si oui, d'en donner un arbre syntaxique. L'algorithme est nommé d'après les trois personnes qui l'ont redécouvert indépendamment, J. Cocke, dont l'article n'a jamais été publié, D. H. Younger et T. Kasami qui a publié un rapport interne aux US-AirForce. L'algorithme opère par analyse ascendante et emploie la programmation dynamique. L'algorithme suppose que la grammaire est en forme normale de Chomsky. Cette restriction n'est pas gênante dans la mesure où toute grammaire non contextuelle admet une grammaire en forme normale de Chomsky équivalente. Le temps de calcul de cet algorithme est en , où est la longueur du mot à analyser et est la taille de la grammaire. (fr)
- En informatique théorique et en théorie des langages, l'algorithme de Cocke-Younger-Kasami (CYK) est un algorithme d'analyse syntaxique pour les grammaires non contextuelles, publié par Itiroo Sakai en 1961. Il permet de déterminer si un mot est engendré par une grammaire, et si oui, d'en donner un arbre syntaxique. L'algorithme est nommé d'après les trois personnes qui l'ont redécouvert indépendamment, J. Cocke, dont l'article n'a jamais été publié, D. H. Younger et T. Kasami qui a publié un rapport interne aux US-AirForce. L'algorithme opère par analyse ascendante et emploie la programmation dynamique. L'algorithme suppose que la grammaire est en forme normale de Chomsky. Cette restriction n'est pas gênante dans la mesure où toute grammaire non contextuelle admet une grammaire en forme normale de Chomsky équivalente. Le temps de calcul de cet algorithme est en , où est la longueur du mot à analyser et est la taille de la grammaire. (fr)
|
| dbo:namedAfter
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 14986 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1978 (xsd:integer)
- 2001 (xsd:integer)
- 2007 (xsd:integer)
- 2008 (xsd:integer)
- 2009 (xsd:integer)
|
| prop-fr:auteur
|
- Jeffrey Shallit (fr)
- Jeffrey Ullman (fr)
- Ravi Sethi (fr)
- Alfred Aho (fr)
- Jeffrey D. Ullman (fr)
- John E. Hopcroft (fr)
- Katrin Erk (fr)
- Lutz Priese (fr)
- Michael A. Harrison (fr)
- Monica Lam (fr)
- Peter Linz (fr)
- Rajeev Motwani (fr)
- Jeffrey Shallit (fr)
- Jeffrey Ullman (fr)
- Ravi Sethi (fr)
- Alfred Aho (fr)
- Jeffrey D. Ullman (fr)
- John E. Hopcroft (fr)
- Katrin Erk (fr)
- Lutz Priese (fr)
- Michael A. Harrison (fr)
- Monica Lam (fr)
- Peter Linz (fr)
- Rajeev Motwani (fr)
|
| prop-fr:bnf
| |
| prop-fr:isbn
|
- 978 (xsd:integer)
- 201029553 (xsd:integer)
- 201441241 (xsd:integer)
- 521865727 (xsd:integer)
- 763714224 (xsd:integer)
- 2744070378 (xsd:decimal)
|
| prop-fr:langue
|
- de (fr)
- en (fr)
- fr (fr)
- de (fr)
- en (fr)
- fr (fr)
|
| prop-fr:lieu
|
- Berlin (fr)
- Paris (fr)
- Reading, Mass. u.a. (fr)
- Berlin (fr)
- Paris (fr)
- Reading, Mass. u.a. (fr)
|
| prop-fr:numéroD'édition
| |
| prop-fr:oclc
|
- 244015158 (xsd:integer)
- 266962302 (xsd:integer)
|
| prop-fr:pagesTotales
|
- 240 (xsd:integer)
- 410 (xsd:integer)
- 485 (xsd:integer)
- 521 (xsd:integer)
- 594 (xsd:integer)
- 928 (xsd:integer)
|
| prop-fr:sousTitre
|
- Eine umfassende Einführung (fr)
- avec plus de 200 exercices (fr)
- Eine umfassende Einführung (fr)
- avec plus de 200 exercices (fr)
|
| prop-fr:titre
|
- A Second Course in Formal Languages and Automata Theory (fr)
- An Introduction to Formal Languages and Automata (fr)
- Compilateurs : principes, techniques et outils (fr)
- Introduction to Formal Language Theory (fr)
- Theoretische Informatik (fr)
- Introduction to Automata Theory, Languages, and Computation (fr)
- A Second Course in Formal Languages and Automata Theory (fr)
- An Introduction to Formal Languages and Automata (fr)
- Compilateurs : principes, techniques et outils (fr)
- Introduction to Formal Language Theory (fr)
- Theoretische Informatik (fr)
- Introduction to Automata Theory, Languages, and Computation (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- Springer (fr)
- Cambridge University Press (fr)
- Pearson (fr)
- Addison Wesley (fr)
- Addison-Wesley (fr)
- Jones & Bartlett Learning (fr)
- Springer (fr)
- Cambridge University Press (fr)
- Pearson (fr)
- Addison Wesley (fr)
- Addison-Wesley (fr)
- Jones & Bartlett Learning (fr)
|
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- En informatique théorique et en théorie des langages, l'algorithme de Cocke-Younger-Kasami (CYK) est un algorithme d'analyse syntaxique pour les grammaires non contextuelles, publié par Itiroo Sakai en 1961. Il permet de déterminer si un mot est engendré par une grammaire, et si oui, d'en donner un arbre syntaxique. L'algorithme est nommé d'après les trois personnes qui l'ont redécouvert indépendamment, J. Cocke, dont l'article n'a jamais été publié, D. H. Younger et T. Kasami qui a publié un rapport interne aux US-AirForce. (fr)
- En informatique théorique et en théorie des langages, l'algorithme de Cocke-Younger-Kasami (CYK) est un algorithme d'analyse syntaxique pour les grammaires non contextuelles, publié par Itiroo Sakai en 1961. Il permet de déterminer si un mot est engendré par une grammaire, et si oui, d'en donner un arbre syntaxique. L'algorithme est nommé d'après les trois personnes qui l'ont redécouvert indépendamment, J. Cocke, dont l'article n'a jamais été publié, D. H. Younger et T. Kasami qui a publié un rapport interne aux US-AirForce. (fr)
|
| rdfs:label
|
- Algorithme de Cocke-Younger-Kasami (fr)
- CYK algorithm (en)
- CYK法 (ja)
- Thuật toán CYK (vi)
- Алгоритм Кока — Янгера — Касами (ru)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
