<?xml version="1.0" encoding="UTF-8"?>
<mods xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.loc.gov/mods/v3" version="3.1" xsi:schemaLocation="http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-1.xsd">
  <titleInfo>
    <title>Introducción a la Teoría de Autómatas, Gramáticas y Lenguajes</title>
  </titleInfo>
  <typeOfResource>text</typeOfResource>
  <genre authority="marc">handbook</genre>
  <originInfo>
    <place>
      <placeTerm type="code" authority="marccountry">sp</placeTerm>
    </place>
    <dateIssued encoding="marc">2017</dateIssued>
    <edition>Primera edición,</edition>
    <issuance>monographic</issuance>
  </originInfo>
  <language>
    <languageTerm authority="iso639-2b" type="code">spa</languageTerm>
  </language>
  <physicalDescription>
    <extent>219 páginas : Ilustraciones (blanco y negro) ; 24 cm</extent>
  </physicalDescription>
  <tableOfContents>Conceptos previos : Conceptos fundamentales de la teoría de conjuntos. Conceptos fundamentales de la teoría de autómatas. Ejercicios -- Autómatas finitos : Autómatas finitos. Elementos de un autómata finito. Definición formal de autómata finito determinista. Representaciones de los autómatas finitos deterministas. Representaciones de los autómatas finitos deterministas. El lenguaje de un autómata finito determinista. Ejemplos de lenguajes regulares. Autómatas finitos no deterministas. Equivalencia entre autómatas finitos deterministas y no deterministas. Ejercicios -- Gramáticas regulares : Definición de gramáticas regulares. Ejemplos de gramáticas regulares. Gramáticas regulares y autómatas finitos. Ejercicios -- Expresiones regulares : Introducción. Definición de las expresiones regulares. Lenguaje representado por un expresión regular. Autómatas finitos y expresiones regulares. Propiedades de las operaciones de las expresiones regulares. Ejercicios -- Propiedades de los lenguajes regulares y lenguajes no regulares : Propiedades de los lenguajes regulares. Introducción a los lenguajes no regulares. Introducción a la jerarquía de Chomsky. Ejercicios -- Lenguajes y gramáticas independientes del contexto : Definición de las gramáticas independientes del contexto. Derivaciones en las gramáticas independientes del contexto. Lenguaje de una gramática independiente del contexto. Introducción a los arboles de derivación. Forma normal de Chomsky. Transformación a forma normal de Chomsky. Ejercicios -- Autómatas a pila : Introducción a los autómatas a pila. Definición formal de un autómata a pila. Lenguajes aceptados por los autómatas a pila. Autómatas a pila y gramáticas independientes del contexto. Autómatas a pila deterministas. Ejercicios -- Propiedades de los lenguajes independientes del contexto : El lema de bombeo para lenguajes independientes del contexto. Los lenguajes independientes del contexto en la jerarquía de Chomsky. Propiedades delos lenguajes independientes del contexto. Ejercicios -- Introducción a las maquinas de Turing : Limites de la computación. Definición de una maquina de Turing. Descripciones instantáneas. Diagramas de transiciones para las maquinas de Turing. El lenguaje de una maquina de Turing: lenguaje recursivamente enumerables. Extensiones de máquina de Turing básica. Lenguajes recursivamente enumerables en la jerarquía de Chomsky. Ejercicios -- Ejercicios de autoevaluación -- Solución a los ejercicios.</tableOfContents>
  <targetAudience>Material bibliográfico para estudiantes universitarios, docentes e investigadores.</targetAudience>
  <targetAudience authority="marctarget">specialized</targetAudience>
  <note type="statement of responsibility">Elena Gaudioso Vásquez [y] Tomás García Saiz..</note>
  <note>Incluye solucionario de ejercicios.</note>
  <note>Bibliografía: p. 219.</note>
  <note>Ingeniería en Informática y Sistemas.</note>
  <note>En Español.</note>
  <classification authority="ddc" edition="22">629.892</classification>
  <identifier type="isbn">978-84-9961-285-0</identifier>
  <recordInfo>
    <recordContentSource authority="marcorg">Biblioteca Central de la Universidad Nacional Agraria de la Selva</recordContentSource>
    <recordCreationDate encoding="marc">211206</recordCreationDate>
    <recordChangeDate encoding="iso8601">20231110130215.0</recordChangeDate>
    <languageOfCataloging>
      <languageTerm authority="iso639-2b" type="code">spa</languageTerm>
    </languageOfCataloging>
  </recordInfo>
</mods>
