 |
Educational guide |
| IDENTIFYING DATA |
2011_12 |
| Subject |
TEORIA DE AUTOMATAS Y LENG.FORMALES |
Code |
00702009 |
| Study programme |
|
|
|
| Descriptors |
Credit. |
Type |
Year |
Period |
| 12 |
Troncal |
Second |
Annual
|
| Language |
|
| Prerequisites |
|
| Department |
MATEMATICAS
|
| Coordinador |
| CARRIEGOS VIEIRA , MIGUEL |
|
E-mail |
mcarv@unileon.es
mmlopc@unileon.es
|
| Lecturers |
| CARRIEGOS VIEIRA , MIGUEL | | LÓPEZ CABECEIRA , MARÍA MONTSERRAT |
|
| Web |
http:// |
| General description |
Sequential machines and finite automata. Turing machines. Recursive functions. Grammars and formal languages. (Neural networks). Computer lab. Study of lex and syntax levels. " |
| Tribunales de Revisión |
| Tribunal titular |
| Cargo |
Departamento |
Profesor |
| Tribunal suplente |
| Cargo |
Departamento |
Profesor |
|
|