Bibliografía
Lo que sigue es una relación de referencias
bibliográficas a títulos relacionados con la asignatura Teoría de Autómatas y
Lenguajes Formales. A continuación de la referencia se añade entre
corchetes el localizador en los fondos bibliográficos de la UMA, en el caso de
que se encuentre.
Aarts, E., & Korst, J. (1990). Simulated annealing and Boltzmann
machines: a stochastic approach to combinatorial optimization and neural
computing. Chichester: John Wiley & Sons.
[Dpto.Leng.CC:EI LC/2435]
Adam,
A. (1996). The behaviour and simplicity of finite Moore automata.
Budapest: Akadémiai Kiadó.
[Dpto. Tecn. El.:FT TE/1685; Biblioteca:FT B/130]
Alfonseca, M.,
Sancho, J., & Artínez, M. (1987). Teoría de lenguajes, gramáticas y
autómatas. Madrid: Universidad y Cultura.
[Dpto.Leng.CC:EI LC/2312]
Arbib, M., Kfoury, A., & Moll, R. (1981). A
basis for theoretical computer science. New York: Springer-Verlag.
[Dpto.Leng.CC:EI LC/2282]
Beckman,
F. (1980). Mathematical foundations of programming. Addison-Wesley.
[Dpto.Leng.CC:EI LC/2509]
Brookshear, J. G. (1989). Theory of computation: formal languages,
automata, and complexity. Addison-Wesley.
[Depósito:FL L-15/2/8 (Humanidades)]
Carroll,
J. and Long, D. (1989). Theory of finite automata: with an introduction to
formal languages. Prentice-Hall.
Chaitin,
G. (1999). The unknowable. Springer-Verlag.
[Dpto.Leng.CC:EI LC/3468]
Davis, M., Sigal, R., & Weyuker, E. (1983).
Computability, complexity, and languages : fundamentals of theoretical
computer science. Orlando: Academic Press.
[Dpto.Leng.CC:EI LC/2383]
Dowty, D., Wall, R., & Peters, S. (1981). Introduction
to Montague semantics. Reidel.
[Depósito:FL C-3/5/4]
Drobot,
V. (1989). Formal languages and automata theory. Computer Science Press.
[Dpto.Leng.CC:EI LC/2289]
Eilenberg,
S. (1974). Automata, languages, and machines. New York: Acamemic Press.
[Dpto.Leng.CC:EI LC/2281]
Floyd, R., & Beigel, R. (1994). The language of machines: an
introduction to computability and formal languages. New York: Computer
Science Press.
[Dpto.Leng.CC:EI LC/1260; Dpto.Leng.CC:EI LC/2630]
García, M. (1997). Teoría de autómatas y
lenguajes formales. Jaén: Universidad de Jaén, Departamento de Informática,
D.L.
[Biblioteca:FT A/111 (Politécnica) ]
Gardner, M. (1971). On cellular automata, self-reproduction, the garden
of Eden and the game of 'life'. Scientific American, 224(2):112-117.
Gardner, M. (1983). Wheels, life, and other mathematical amusements.
New York: W H Freeman & Co.
[Psicología y Ciencias de la Educación: EP X/119]
Garzon,
M. (1995). Models of massive parallelism : analysis of cellular automata and
neural networks. Berlin: Springer-Verlag.
[Dpto. Tecn. El.:EI LC/2044]
Gécsec, F., & Peák., I. (1972). Algebraic theory of automata.
Budapest: Akadémiai Kiadó.
[Dpto.Fis.Aplic.:FCF519.71/GEC -/alg]
Ginsburg,
S. (1975). Algebraic and automata-theoretic properties of formal languages.
North-Holland.
[Dpto.Alg.Geom.T:FCA519.76/GIN - /alg (Ciencias)]
Gupta, M., Saridis, G., & Gaines, B.
(1977). Fuzzy automata and decision processes. New York: North-Holland.
[Dpto.Leng.CC:EI LC/2330; Dpto.Leng.CC:EI LC/2328]
Hartmanis,
J. (1978). Feasible computations and provable complexity properties.
Philadelphia: Society for Industrial and Applied Mathematics.
[Dpto.Leng.CC:EI LC/1395]
Hermes, H. (1969). Enumerability, decidability, computability.
Springer-Verlag.
[Biblioteca:FTF-4/HER/enu; Dpto. Mat. Apl.:FT 51/1319]
Hermes, H. (1984). Introducción a la teoría
de la computabilidad: algoritmos y maquinas. Ed. Tecnos.
[Biblioteca:EIF-2/HER/int; Dpto.Mat. Apli:EI MA/29, 30 y 76]
Herken,
R. (1988). The Universal Turing machine: a half-century survey. Oxford
University Press.
[Dpto.Leng.CC:EI LC/2327]
Hofstadter, D. (1992). Gödel, Escher, Bach:
un eterno y grácil bucle. TusQuets
Editores, 4ª ed.
[Depósito:FL N-13/5/19 (Humanidades); Sala Investig.:FD 340.12 2492
(Derecho)]
Hopcroft. J., & Ullman, J. (1979). Introduction
to automata theory, languages, and computation. Reading, Mass.:
Addison-Wesley.
[Biblioteca:FT T/402-3-4-5-6 (Politécnica); Dpto.Leng.CC:EI LC/1285;
Biblioteca:EIF-4/HOP/int]
Howie,
J. (1991). Automata and languages. Oxford: Clarendon Press.
[Dpto.Leng.CC:EI LC/1250]
Isasi, P.,
Martínez, P., & Borrajo, D. (1997). Lenguajes, gramáticas y autómatas:
un enfoque práctico. Madrid:
Addison-Wesley, D.L.
[Dpto.Leng.CC:EI LC/3358; Biblioteca:EII-0/ISA/len]
Kelley, D. (1995). Teoría de Autómatas y
Lenguajes Formales. Prentice
Hall International (UK) Ltd.
[Dpto. Mat. Apl.:FT M (Politécnica) ]
Kfoury,
A., Moll, R., & Arbib, M. (1986). A programming approach to computability.
New York: Springer-Verlag.
[Dpto.Leng.CC:EI LC/2323]
Kozen,
D. (1997). Automata and computability. New York: Springer.
[Dpto.Leng.CC:EI LC/2697]
Langton,
C. G. (1995). Artificial life: an overview. Reading, MA: Addison-Wesley.
[Depósito:FL U-8/2/8]
Levy,
S. (1993). Artificial life: the quest for a new creation. London:
Penguin.
[Sala Consulta:CI001/LEV/art]
Lewis, H., & Papadimitriou, C. (1981). Elements
of the theory of computation. Englewood Cliffs, New Jersey: Prentice Hall.
[Dpto.Leng.CC:EI LC/17; Biblioteca:EIF-0/LEW/ele; Depósito:FL L-15/2/11
(Humanidades); Biblioteca:FT V/82 (Politécnica)]
Lindenmayer, A. (1968). Mathematical models for cellular interaction in
development I. Filaments with one-sided inputs. Journal of Theoretical
Biology, 18:280-289.
Linz,
P. (1996). An introduction to formal languages and automata. Lexington,
Massachusetts: D.C. Heath and Company.
[Dpto.Leng.CC:EI LC/2646]
Lucas, M., Peyrin, J., & Scholl, P. (1985).
Algorítmica y representación de datos. Barcelona: Masson.
[Biblioteca:EIF-2/LUC/alg,I]
MacNaughton, R. (1993). Elementary computability, formal languages,
and automata. Z B Publishing Industries.
[Dpto.Leng.CC:EI LC/2648]
Malpica, J. (1998). Introducción a la teoría de
autómatas. Alcalá de Henares: Servicio de Publicaciones de la Universidad
de Alcalá de Henares, D.L.
[Biblioteca:EIG-0/MAL/int]
Mandelbrot,
B. (1983). The fractal geometry of nature. New York: W.H. Freeman and
Company.
[Dpto. Tecn. El.:EI TE/398]
Moll, R., Arbib, A., & Kfoury, A. (1988). An
introduction to formal language theory. Springer-Verlag.
[Dpto.Leng.CC:EI LC/2332]
Narendra, K., & Thathachar, M. (1989). Learning
automata: an introduction. Englewood Cliffs New Jersey: Prentice-Hall.
[Biblioteca:EIU-3/NAR/lea]
Poundstone,
W. (1985). The Recursive Universe: Cosmic Complexity and the Limits of
Scientific Knowledge. William Morrow and Company Inc.
Ramos, I., & Fernández, M.
(1995). Vida artificial. Cuenca: Universidad de Castilla-La Mancha,
Servicio de Publicaciones.
[Dpto.Leng.CC:EI LC/3284; Biblioteca:EII-2/VID]
Révész,
G. (1991). Introduction to formal languages. Dover Publications.
[Dpto.Leng.CC:EI LC/3705]
Rodriguez, C. (1991). Optimización de
autómatas finitos. Oviedo: Sección de Publicaciones de la Universidad de
Oviedo.
[Biblioteca:EI 043/36]
Rozenberg, G., & Salomaa, A. (1997). Handbook
of formal languages I. Springer-Verlag.
[Dpto.Leng.CC:EI LC/2119,I]
Rozenberg, G., & Salomaa, A. (1997). Handbook
of formal languages II. Springer-Verlag.
[Dpto.Leng.CC:EI LC/2119,II]
Rozenberg, G., & Salomaa, A. (1997). Handbook
of formal languages III. Springer-Verlag.
[Dpto.Leng.CC:EI LC/2119,III]
Salomaa,
A. (1973). Formal languages. Academic Press.
[Dpto.Leng.CC:EI LC/2345]
Sipper,
M. (1997). Evolution of parallel cellular machines: the cellular programming
approach. Berlin: Springer-Verlag.
[Dpto.Leng.CC:EI LC/3580; Dpto. Tecn. El.:EI TE/866]
Sipser,
M. (1997). Introduction to the theory of computation. Boston: PWS
Publishing Company.
[Dpto.Leng.CC:EI LC/3223]
Sommerhalder, R. and Van Westrhenen, S. (1988). The theory of
computability: programs, machines, effectiveness and feasibility.
Wokingham: Addison-Wesley.
[Dpto.Leng.CC:EI LC/2324 y 1066; Biblioteca:EIF-2/SOM/the]
Weisbuch, G. (1991). Complex systems
dynamics: an introduction to automata networks. Redwood City, California:
Addison-Weley.
[Dpto. Ing.Sis.A:EI IS/440]
Actualizado
el 29/09/2004