Formal languages, automata and numeration systems. 2, Applications to recognizability and decidability /

Guardado en:
Detalles Bibliográficos
Autor principal: Rigo, Michel
Formato: Libro
Lenguaje:Inglés
Publicado: London : ISTE, c2014.
Hoboken, N.J. : J. Wiley,
Colección:Networks and telecommunications series
Materias:
Aporte de:Registro referencial: Solicitar el recurso aquí
LEADER 01344nam a22003375a 4500
001 40032
003 AR-SrUBC
005 20210617192641.0
007 t|||||||||||||
008 180910t||||||||enka||||r|||||||||||eng||
020 |a 9781848217881 
040 |a AR-SrUBC  |b eng  |e rcaa2 
080 |a 004.43=20 
080 |a 519.713=20  |2 2000 ES 
100 1 |a Rigo, Michel.   |9 81875 
240 1 0 |a [Applications to recognizability and decidability] 
245 1 0 |a Formal languages, automata and numeration systems.   |p 2, Applications to recognizability and decidability /   |c Michel Rigo. 
260 |a London :   |b ISTE,  
260 |a Hoboken, N.J. :   |b J. Wiley,   |c c2014. 
300 |a xix, 234 p. :   |b il. ;   |c 24 cm. 
336 |a texto  |2 rdacontent 
337 |a sin mediación  |2 rdamedia 
338 |a volumen  |2 rdacarrier 
490 0 |a Networks and telecommunications series 
505 0 0 |a Contenido: Introduction -- Crash course in regular languages -- A range of numeration systems -- Logical framework and decidability issues -- List of sequences.  
650 7 |a AUTOMATAS  |2 lemb3  |9 51124 
650 7 |a LENGUAJES FORMALES  |2 lemb3  |9 29695 
650 7 |a TEORIA DE LAS MAQUINAS  |2 lemb3  |9 40397 
650 7 |a PROGRAMACION (COMPUTADORES ELECTRONICOS)  |2 lemb3  |9 2109 
942 |2 cdu  |b 2018-09-10  |c BK  |d 058410  |h 004.43=20  |i RIGf  |z MK  |6 0044320_RIGF 
999 |c 40032  |d 40032