Autómatas finitos deterministas (AFD)

Deja un comentario

Hoy haremos un breve repaso a los autómatas finitos deterministas con este video-tutorial en el que explica como crear dicho autómatas finitos deterministas (AFD)

Espero que os sirva de ayuda

Lenguajes formales

Deja un comentario

Hoy vamos a explicar un tema importante sobre los autómatas finitos, ¿que es un lenguajes formal?, ya que aparte de la utilización de los lenguajes formales en los autómatas finitos, también son utilizados en otras ciencias como en las matemáticas, en lógica computacional, y en ciencias de la computacion

En matemáticas, lógica, y ciencias de la computación, un lenguaje formal es un lenguaje cuyos símbolos primitivos y reglas para unir esos símbolos están formalmente especificados.1 2 Al conjunto de los símbolos primitivos se le llama el alfabeto (o vocabulario) del lenguaje, y al conjunto de las reglas se lo llama la gramática formal (o sintaxis). A una cadena de símbolos formada de acuerdo a la gramática se la llama una fórmula bien formada (o palabra) del lenguaje. Estrictamente hablando, un lenguaje formal es idéntico al conjunto de todas sus fórmulas bien formadas. A diferencia de lo que ocurre con el alfabeto (que debe ser un conjunto finito) y con cada fórmula bien formada (que debe tener una longitud también finita), un lenguaje formal puede estar compuesto por un número infinito de fórmulas bien formadas.

Por ejemplo, un alfabeto podría ser el conjunto {a,b}, y una gramática podría definir a las fórmulas bien formadas como aquellas que tienen el mismo número de símbolos a que b. Entonces, algunas fórmulas bien formadas del lenguaje serían: ab, ba, abab, ababba, etc.; y el lenguaje formal sería el conjunto de todas esas fórmulas bien formadas.

Para algunos lenguajes formales existe una semántica formal que puede interpretar y dar significado a las fórmulas bien formadas del lenguaje. Sin embargo, una semántica formal no es condición necesaria para definir un lenguaje formal, y eso es una diferencia esencial con los lenguajes naturales.

En algunos lenguajes formales, la palabra vacía (esto es, la cadena de símbolos de longitud cero) está permitida, notándose frecuentemente mediante \epsilon \,, e\, o \lambda \,.

Espero que os sirva de ayuda, un saludo!

Autómatas finitos, gramáticas y lenguajes formales

Deja un comentario

Hoy volvemos de nuestras pequeñas vacaciones,  y para ello vamos a mostrar una pequeña imagen con un mapa conceptual que respresenta la mayoría del contenido de nuestro blog.

automatas finitos

automatas finitos

Autómatas finitos deterministas (AFD) y autómatas finitos no deterministas (AFND)

Deja un comentario

A lo largo de esta semana estaremos de vacaciones debido a la semana santa, espero sacar un ratillo para seguir hablando un poco más sobre los autómatas finitos deterministas (AFD) y sobre los autómatas finitos no deterministas (AFND).

Un saludo, y que tengaís una buena semana santa.

Video explicativo sobre los lenguajes formales y los autómatas finitos

Deja un comentario

Hoy les traemos un video explicativo acerca de los lenguajes formales y sobre la explicación y diferencias entre autómatas finitos deterministas y autómatas finitos no deterministas.

Además el video hace una pequeña introducción a JFLAP (Más adelante os explicaremos que es JFLAP, como se utiliza y para que se utiliza)

Espero que sea de utilidad, un saludo a tod@s!!

Autómatas finitos deterministas

Deja un comentario

Hoy acabaremos con la explicación de los autómatas finitos deterministas, mañana continuaremos con los autómatas finitos no deterministas

Bienvenidos a nuestro nuevo blog

Deja un comentario

Hola y bienvenidos a nuestro nuevo blog en el que vamos a ofrecer una serie de apuntes, transparencias y resúmenes acerca de la asignatura del grado de informática de Teoría de Autómatas y Lenguajes Formales, los puntos de esta asignatura a los que más importacia vamos a dar, van a ser los autómatas finitos deterministas, autómatas finitos no deterministas, lenguajes formales y gramáticas.

A lo largo de la semana iremos publicando alguna entrada, ya con algún resumen.

Un saludo y bienvenidos.