Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Capitulo 1
Capitulo 1
Formales
Captulo 1: Introduccin
Holger Billhardt
holger.billhardt@urjc.es
Introduccin
La informtica terica:
Introduccin
Ejemplo: interruptor
inicio
pulsar
off
on
pulsar
Salida
Memoria
Lenguajes y Gramticas
Lenguajes y Gramticas
Sintaxis: (gramtica)
Semntica:
Lenguajes y Gramticas
Ejemplo 1:
Semntica:
A es un nmero natural.
A is a natural number.
A : Natural;
0100000100000001
Lenguajes y Gramticas
Ejemplo 2:
Sintaxis:
Semntica:
10
Lenguajes y Gramticas
11
Lenguajes y Gramticas
Autmatas
generan
aceptan
Lenguajes
12
13
14
Desarrollo de la Asignatura
15
16
17