Teoría de lenguajes formales
El text desenvolupa una breu introducció a la teoria dels llenguatges formals i a la teoria de la complexitat computacionals orientada a l'aplicació d'aquestes teories en l'àmbit de la recerca en lingüística i en ciència cognitiva. Després d'una introducció on es presenten algunes nocions matemàtiqu...
| Autor: | |
|---|---|
| Tipo de documento: | Libro |
| Fecha de publicación: | 2014 |
| País: | España |
| Institución: | Universitat Autònoma de Barcelona |
| Repositorio: | Dipòsit Digital de Documents de la UAB |
| Lenguaje: | Español |
| OAI Identifier: | oai:ddd.uab.cat:116304 |
| Acceso en línea: | https://ddd.uab.cat/record/116304 |
| Nivel de acceso: | Acceso abierto |
| Palabra clave: | Llenguatges formals Autòmats Complexitat computacional Lingüística Formal languages Automata Computational complexity Linguistics |
| _version_ | 1878740489188933632 |
|---|---|
| author | Balari, Sergio|||0000-0002-2531-2161 |
| author_browse | Balari, Sergio|||0000-0002-2531-2161 |
| author_facet | Balari, Sergio|||0000-0002-2531-2161 |
| author_role | author |
| collection | Dipòsit Digital de Documents de la UAB |
| description | El text desenvolupa una breu introducció a la teoria dels llenguatges formals i a la teoria de la complexitat computacionals orientada a l'aplicació d'aquestes teories en l'àmbit de la recerca en lingüística i en ciència cognitiva. Després d'una introducció on es presenten algunes nocions matemàtiques bàsiques, el treball s'ocupa amb detall dels sistemes regulars i els sistemes independents del context per, més endavant, tractar aquells sistemes avui en dia classificats com a moderadament sensibles al context, amb especial atenció als "Linear Context-Free Rewriting Systems". La part final, s'ocupa de computabilitat i màquines de Turing per tal d'introduir al lector en el concepte de classe de complexitat computacional de TEMPS i d'ESPAI. Aquesta part es tanca amb algunes consideracions sobre la conjectura si les classes P i NP són iguals o no. |
| eu_rights_str_mv | openAccess |
| format | book |
| id | ES_d3fa2f1f8f4b114e06b3e9df1ea2108c |
| institution | Universitat Autònoma de Barcelona |
| instname_str | Universitat Autònoma de Barcelona |
| language | spa |
| network_acronym_str | ES |
| network_name_str | España |
| oai_identifier_str | oai:ddd.uab.cat:116304 |
| publishDate | 2014 |
| publishDateSort | 2014 |
| publisher | Universitat Autònoma de Barcelona |
| publisherStr | Universitat Autònoma de Barcelona |
| reponame_str | Dipòsit Digital de Documents de la UAB |
| spelling | Teoría de lenguajes formales una introducción para lingüistas Balari, Sergio|||0000-0002-2531-2161 Llenguatges formals Autòmats Complexitat computacional Lingüística Formal languages Automata Computational complexity Linguistics El text desenvolupa una breu introducció a la teoria dels llenguatges formals i a la teoria de la complexitat computacionals orientada a l'aplicació d'aquestes teories en l'àmbit de la recerca en lingüística i en ciència cognitiva. Després d'una introducció on es presenten algunes nocions matemàtiques bàsiques, el treball s'ocupa amb detall dels sistemes regulars i els sistemes independents del context per, més endavant, tractar aquells sistemes avui en dia classificats com a moderadament sensibles al context, amb especial atenció als "Linear Context-Free Rewriting Systems". La part final, s'ocupa de computabilitat i màquines de Turing per tal d'introduir al lector en el concepte de classe de complexitat computacional de TEMPS i d'ESPAI. Aquesta part es tanca amb algunes consideracions sobre la conjectura si les classes P i NP són iguals o no. This work is a brief introduction to formal language and computational compelxity theory with a special emphasis on the application of these theories to linguistics and cognitive science. After an introduction where some basic mathematical notions are presented, the book offers a detailed presentation of regular and context-free systems in order to tackle, thereafter, those systems classified nowadays as mildly context-sensitive, paying special attention to Linear Context-Free Rewriting Systems. The last part of the work is devoted to computability and Turing machines to introduce the reader in a later chapter to the notion of TIME and SPACE complexity classes. This part closes with some considerations concerning the P = NP conjecture. Universitat Autònoma de Barcelona https://ddd.uab.cat/record/116304 |
| spellingShingle | Teoría de lenguajes formales Balari, Sergio|||0000-0002-2531-2161 Llenguatges formals Autòmats Complexitat computacional Lingüística Formal languages Automata Computational complexity Linguistics |
| title | Teoría de lenguajes formales |
| title_full | Teoría de lenguajes formales |
| title_fullStr | Teoría de lenguajes formales |
| title_full_unstemmed | Teoría de lenguajes formales |
| title_short | Teoría de lenguajes formales |
| title_sort | Teoría de lenguajes formales |
| topic | Llenguatges formals Autòmats Complexitat computacional Lingüística Formal languages Automata Computational complexity Linguistics |
| topic_facet | Llenguatges formals Autòmats Complexitat computacional Lingüística Formal languages Automata Computational complexity Linguistics |
| url | https://ddd.uab.cat/record/116304 |