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 algune...
| Autor: | |
|---|---|
| Tipo de recurso: | 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 |
| Idioma: | español |
| OAI Identifier: | oai:ddd.uab.cat:116304 |
| Acceso en línea: | https://ddd.uab.cat/record/116304 |
| Access Level: | acceso abierto |
| Palabra clave: | Llenguatges formals Autòmats Complexitat computacional Lingüística Formal languages Automata Computational complexity Linguistics |
| id |
ES_d3fa2f1f8f4b114e06b3e9df1ea2108c |
|---|---|
| oai_identifier_str |
oai:ddd.uab.cat:116304 |
| network_acronym_str |
ES |
| network_name_str |
España |
| repository_id_str |
|
| spelling |
Teoría de lenguajes formalesuna introducción para lingüistasBalari, Sergio|||0000-0002-2531-2161Llenguatges formalsAutòmatsComplexitat computacionalLingüísticaFormal languagesAutomataComputational complexityLinguisticsEl 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 22014-01-0120142014-01-01Llibrehttp://purl.org/coar/resource_type/c_2f33VoRhttp://purl.org/coar/version/c_970fb48d4fbd8a85info:eu-repo/semantics/bookapplication/pdfhttps://ddd.uab.cat/record/116304reponame:Dipòsit Digital de Documents de la UABinstname:Universitat Autònoma de BarcelonaEspañolspaopen accesshttp://purl.org/coar/access_right/c_abf2Aquest document està subjecte a una llicència d'ús Creative Commons. Es permet la reproducció total o parcial, la distribució, i la comunicació pública de l'obra, sempre que no sigui amb finalitats comercials, i sempre que es reconegui l'autoria de l'obra original. No es permet la creació d'obres derivades.https://creativecommons.org/licenses/by-nc-nd/3.0/info:eu-repo/semantics/openAccessoai:ddd.uab.cat:1163042026-06-06T12:50:31Z |
| dc.title.none.fl_str_mv |
Teoría de lenguajes formales una introducción para lingüistas |
| title |
Teoría de lenguajes formales |
| 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_short |
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_sort |
Teoría de lenguajes formales |
| dc.creator.none.fl_str_mv |
Balari, Sergio|||0000-0002-2531-2161 |
| author |
Balari, Sergio|||0000-0002-2531-2161 |
| author_facet |
Balari, Sergio|||0000-0002-2531-2161 |
| author_role |
author |
| dc.subject.none.fl_str_mv |
Llenguatges formals Autòmats Complexitat computacional Lingüística Formal languages Automata Computational complexity Linguistics |
| topic |
Llenguatges formals Autòmats Complexitat computacional Lingüística Formal languages Automata Computational complexity Linguistics |
| 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. |
| publishDate |
2014 |
| dc.date.none.fl_str_mv |
2 2014-01-01 2014 2014-01-01 |
| dc.type.none.fl_str_mv |
Llibre http://purl.org/coar/resource_type/c_2f33 VoR http://purl.org/coar/version/c_970fb48d4fbd8a85 |
| dc.type.openaire.fl_str_mv |
info:eu-repo/semantics/book |
| format |
book |
| dc.identifier.none.fl_str_mv |
https://ddd.uab.cat/record/116304 |
| url |
https://ddd.uab.cat/record/116304 |
| dc.language.none.fl_str_mv |
Español spa |
| language_invalid_str_mv |
Español |
| language |
spa |
| dc.rights.none.fl_str_mv |
open access http://purl.org/coar/access_right/c_abf2 https://creativecommons.org/licenses/by-nc-nd/3.0/ |
| dc.rights.openaire.fl_str_mv |
info:eu-repo/semantics/openAccess |
| rights_invalid_str_mv |
open access http://purl.org/coar/access_right/c_abf2 https://creativecommons.org/licenses/by-nc-nd/3.0/ |
| eu_rights_str_mv |
openAccess |
| dc.format.none.fl_str_mv |
application/pdf |
| dc.publisher.none.fl_str_mv |
Universitat Autònoma de Barcelona |
| publisher.none.fl_str_mv |
Universitat Autònoma de Barcelona |
| dc.source.none.fl_str_mv |
reponame:Dipòsit Digital de Documents de la UAB instname:Universitat Autònoma de Barcelona |
| instname_str |
Universitat Autònoma de Barcelona |
| reponame_str |
Dipòsit Digital de Documents de la UAB |
| collection |
Dipòsit Digital de Documents de la UAB |
| repository.name.fl_str_mv |
|
| repository.mail.fl_str_mv |
|
| _version_ |
1869420506602536960 |
| score |
15.300719 |