[LENGUAJES Y AUTOMATAS I] 4 de octubre de 2013

INSTITUTO TECNOLOGICO DE SAN LUIS POTOSI

Lenguajes y Autmatas I
AUTORES: Noyola Rodrguez Francisco Gonzales Garca Humberto Farfn Luna Rubn Miguel Snchez Badillo Daniel Abraham ASESORES:
Corts Torres Jos Gastn

SEMESTRE: 5

CARRERA: Ing. En Sistemas Computacionales EQUIPO: 5 SOLEDAD DE GRACIANO SANCHEZ, S.L.P., A 29 DE OCTUBRE 2013

[LENGUAJES Y AUTOMATAS I] 4 de octubre de 2013

Contenido
Tabla de Contenido
Contenido ............................................................................................................................................ 1 INTRODUCCIN .......................................................................................................................... 2 1.1 Proposito .................................................................................. Error! Bookmark not defined. ESQUEMA DE LAS BASES DE DATOS.................................... Error! Bookmark not defined. DOMINIOS ATOMICOS Y LA PRIMERA FORMA NORMAL Error! Bookmark not defined. Dominio Atmico....................................................................... Error! Bookmark not defined. Formas Normales ....................................................................... Error! Bookmark not defined. Primera Forma Normal (1FN) .................................................... Error! Bookmark not defined. DEPENDENCIAS FUNCIONALES ............................................. Error! Bookmark not defined. SEGUNDA FORMA NORMAL ................................................... Error! Bookmark not defined. TERCERA FORMA NORMAL .................................................... Error! Bookmark not defined. FORMA NORMAL BOYCE-COD. .............................................. Error! Bookmark not defined. ALGORITMOS DE DESCOMPOSICION ................................... Error! Bookmark not defined. FORMAS NORMALES SUPERIORES ....................................... Error! Bookmark not defined. Cuarta forma normal .................................................................. Error! Bookmark not defined. Quinta forma normal .................................................................. Error! Bookmark not defined. INTEGRIDAD DE LA BASE DE DATOS. .................................. Error! Bookmark not defined. Conclusiones 11

| Contenido

4 de octubre de 2013

[LENGUAJES Y AUTOMATAS I]

INTRODUCCIN
La Mquina Turing es un dispositivo de reconocimientos de lenguaje, es ms general que cualquier autmata finito y cualquier autmata de pila, debido a que ellas pueden reconocer tanto los lenguajes regulares, como los lenguajes independientes de contexto y adems muchos otros tipos de lenguajes. Tiene, un control finito, una cabeza lectora y una cinta donde puede haber caracteres, y donde eventualmente viene la palabra de entrada. La cinta es de longitud infinita hacia la derecha, hacia donde se extiende indefinidamente, llenndose los espacios con el carcter blanco (que representaremos con t). La cinta no es infinita hacia la izquierda, por lo que hay un cuadro de la cinta que es el extremo izquierdo, la MT la cabeza lectora es de lectura y escritura, por lo que la cinta puede ser modificada en curso de ejecucin. Adems, en la MT la cabeza se mueve bidireccionalmente (izquierda y derecha), por lo que puede pasar repetidas veces sobre un mismo segmento de la cinta.

1.1 Propsito
Permitir establecer las bases de acuerdo entre usuarios en lo que al proyecto de software se refiere. Simular el mecanismo de funcionamiento de la maquina de turing.

1.2 Alcance
Identificacin de la MT Objetivos del Software Permitir la interaccin de usuario y mquina. Verificacin de la cinta en la MT

1.3 Personal involucrado

Nombre: Rol : Categora profesional : Responsabilidades : Informacin de contacto :

Daniel Sanchez Programador Analista y Diseador de Software Arquitectura del programa

| Contenido

4 de octubre de 2013

[LENGUAJES Y AUTOMATAS I]

Nombre: Rol : Categora profesional : Responsabilidades : Informacin de contacto :

Francisco Noyola Programador Analista y Diseador de Software Anlisis de Requerimientos Noyola_061190@hotmail.com

Nombre: Rol : Categora profesional : Responsabilidades : Informacin de contacto :

Humberto Gonzales Programador Analista y Diseador de Software Interfaz de Usuario

Nombre: Rol : Categora profesional : Responsabilidades : Informacin de contacto :

Rubn Farfn Programador Analista y Diseador de Software Diseo y algoritmia del Software

1.4 Definiciones, acrnimos y abreviaturas

DEFINICIONES

Botn.- Es un objeto tangible que realiza un evento tras su activacin. Conexin.- Comunicacin entre dos entes que tienen caractersticas similares de Comunicacin. Interfaz.- Medio que permite la comunicacin entre el usuario y el sistema.
ACRNIMOS

GUI o acrnimo de Graphical User Interface.- En informtica, tipo de entorno que permite al usuario elegir comandos, iniciar programas, ver listas de archivos y otras opciones utilizando las representaciones visuales (iconos) y las listas de elementos del men. Las selecciones pueden activarse bien a travs del teclado o con el ratn.

| Contenido

4 de octubre de 2013

[LENGUAJES Y AUTOMATAS I]

ABREVIATURAS

HW: Hardware SW: Software MT: Maquina de Turing

1.5 Referencias
Referencia 1 Titulo Teoria De Automatas, lenguajes Y Computacion Ruta -----Fecha 2007 Autor John E. Hopcroft Rajeev Motwani Jeffrey D. Ullman

2 Descripcin general
2.1 Perspectiva del producto
El Software que se va ha desarrollar es independiente, y tendr un diseo amigable para el usuario, este simulara el comportamiento de la MT (maquina de turing)}

2.2 Funcionalidad del producto

| 2 Descripcin general

4 de octubre de 2013

[LENGUAJES Y AUTOMATAS I]

2.3 Caractersticas de los usuarios

Tipo de usuario: Formacin: Habilidades:

Estudiante o profesor Area de Sistemas e Informatica Conocimiento de las funciones de la MT

2.4 Restricciones
El sistema ser desarrollado en Visual Studio es un entorno de desarrollo integrado (IDE, por sus siglas en ingls) para sistemas operativos Windows. Soporta varios lenguajes de programacin, tales como Visual C++, Visual C#, Visual J#, y Visual Basic .NET, al igual que entornos de desarrollo web como ASP.NET, aunque actualmente se han desarrollado las extensiones necesarias para muchos otros., la metodologa para el desarrollo se basara en las mejores caractersticas de las metodologas tradicionales(evolutivas) y giles.

2.5 Suposiciones y dependencias

Ninguno.

2.6 Evolucin previsible del sistema

Trabajar la mquina de turing simulando el funcionamiento a travez de una cadena de caracteres introducidos por el usuario.

3 Requisitos especficos
R1: Permitir la entrada de los caracteres en la cinta. R2: Permitir la vista del recorrido de la cinta. R3: Realizar moviemientos hacia la derecha y hacia la izquierda. R4: Permitir la sobreescritura de la cinta ya sea 0 / 1

| 3 Requisitos especficos

4 de octubre de 2013

[LENGUAJES Y AUTOMATAS I]

3.1 Requisitos comunes de los interfaces

3.1.1 Interfaces de usuario
Las interfaces de usuario estn relacionadas con las pantallas, ventanas (formularios) que debe manipular el usuario para realizar una operacin determinada. Dicha manipulacin el usuario la realizar por medio del teclado y el Mouse (ratn). Es importante mencionar que las interfaces de usuario tambin abarcan las ayudas correspondientes en cada uno de los procesos que realice el sistema. Las interfaces de usuario ayudaran al usuario final trabajando en un ambiente Form, por lo que se dichas interfaces incluirn: Botones Mens despegables Mensajes informativos Mensajes de error Cuadros de dilogo Formularios para el ingreso, modificacin, actualizacin y eliminacin de datos. As como para las operaciones y las ayudas que se mencion anteriormente. Otros

A continuacin se muestra una previa de lo que ser las interfaces de usuario.

| 3.1 Requisitos comunes de los interfaces

4 de octubre de 2013

[LENGUAJES Y AUTOMATAS I]

3.1.2 Interfaces de hardware

La pantalla del monitor.- el software deber mostrar informacin al usuario a travs de la pantalla del monitor. Ratn.- el software debe interactuar con el movimiento del ratn y los botones del ratn. El ratn se activan las zonas de entrada de datos, botones de comando y seleccione las opciones. Teclado.- el software debern interactuar con las pulsaciones del teclado. El teclado de entrada de datos.

Conclusiones
En conclusin las bases de datos exigen ciertos criterios o reglas al momento de disear y pasar del modelo entidad-relacin al modelo relacional con la prioridad de eliminar prdida de memoria por redundancias y datos irrelevantes o repetidos, adems el proceso de normalizacin nos permite hacer que esos errores que el modelo entidad relacin nos pueden crear, sean inhibidos sin afectar en ningn momento a los datos que en la base se alojarn, adems nos permitir manipular con mayor eficiencia los datos, cabe mencionar que es necesario el uso y aplicacin de nuestro propio sentido comn para que a los usuarios y operadores de nuestra base de datos les permita trabajar eficientemente. Cabe mencionar que el proceso de normalizacin nos conducir a travs de cada una de las formar normales, aunque la mayora de los escritos ledos le da mayor prioridad a las tres primeras formas normales, debido a la complejidad de las dos ltimas, algunos autores recomiendan llegar a la ltima debido a la facilidad que en teora se presentara al operar la Base de Datos lo importante de

| 3.1 Requisitos comunes de los interfaces

4 de octubre de 2013

[LENGUAJES Y AUTOMATAS I]

todo ello es saber identificar cada una de las dependencias implicadas , quedando a criterio del diseador.

| 3.1 Requisitos comunes de los interfaces