Sistema de Bibliotecas ULAT

Catálogo digital

Teoría de autómatas lenguajes y formales / Dean Kelley, tradución de María Luisa Díez Platas

Por: Kelley, Dean.
Colaborador(es): Díez Platas, María Luisa [traductora].
Editor: España : Prentice- Hall, 1998Edición: 1a. ed.Descripción: 302 p. : il. ; 24 cm.ISBN: 0-13-518705-2.Materia(s): INGENIERÍA | AUTÓMATAS | LENGUAJES FORMALESClasificación CDD: 629.8 / K287 /1995
Contenidos:
1. Preliminares Matemáticos. --
.
2. Alfabetos y Lenguajes. --
.
3. Lenguajes Regulares. --
.
4. Lenguajes Independientes del Contexto. --
.
5. Máquinas de Turing. --
.
6. Máquinas de Turing y Lenguajes. --
.
7. Resolubilidad. --
.
8. Introducción a la Complejidad Computacional. --
Resumen: Esta es una obra imprescindible para todo estudiante de informática. Abarca los temas de lenguajes formales y autómatas, máquinas de Turín y computabilidad a través de la decidibilidad. Su estudio necesita un nivel mínimo de conocimientos matemáticos, aunque se evitan, en lo posible, las demostraciones matemáticas demasiado desarrolladas, sin que por ello los teoremas y definiciones dejen de ser preciso. Todos los razonamientos de este libro tienen la intención de motivar al alumno, más que de ser matemáticamente completos o elegantes. En todo momento, el autor ilustra con ejercicios y problemas, de dificultad diversa, los conceptos que expone a lo largo de la obra.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Copy number Status Date due Barcode
Libro - Material General Libro - Material General Biblioteca Central Rogelio Sinan
Fondo general
Colección General 629.8 / K287 /1995 (Browse shelf(Opens below)) e.1 Available 2023-0008
Libro - Material General Libro - Material General Biblioteca Central Rogelio Sinan
Fondo general
Colección General 629.8 / K287 /1995 (Browse shelf(Opens below)) e.2 Available 2023-0009

1. Preliminares Matemáticos. --

.

2. Alfabetos y Lenguajes. --

.

3. Lenguajes Regulares. --

.

4. Lenguajes Independientes del Contexto. --

.

5. Máquinas de Turing. --

.

6. Máquinas de Turing y Lenguajes. --

.

7. Resolubilidad. --

.

8. Introducción a la Complejidad Computacional. --

Esta es una obra imprescindible para todo estudiante de informática. Abarca los temas de lenguajes formales y autómatas, máquinas de Turín y computabilidad a través de la decidibilidad. Su estudio necesita un nivel mínimo de conocimientos matemáticos, aunque se evitan, en lo posible, las demostraciones matemáticas demasiado desarrolladas, sin que por ello los teoremas y definiciones dejen de ser preciso. Todos los razonamientos de este libro tienen la intención de motivar al alumno, más que de ser matemáticamente completos o elegantes. En todo momento, el autor ilustra con ejercicios y problemas, de dificultad diversa, los conceptos que expone a lo largo de la obra.

Sede Central Ingeniería Licenciatura en Ingeniería de Sistemas Informáticos Sin Enfasis

There are no comments on this title.

to post a comment.

Click on an image to view it in the image viewer

Universidad Latina de Panama
Sede Central Tel: 507.230.8600
Fax:230-8686
Sede Medicina Tel: 207-6700
Sede Santiago Tel: 998-5412
Sede Chitré Tel: 996-1155
Sede David Tel: 774-3737
Sede Penonomé Tel: 997-8034