1° AVANCE DEL PROYECTO PARA TEORIA DE LA
Contents
1. ELSE JOPTIONPANE SHOWMESSAGEDIALOG NULL LA CADENA TIENE ERRORES IF INICIO EQUALS ULTIMO JOPTIONPANE SHOWMESSAGEDIALOG NULL EL AUTOMATA COMPLETO LA CADENA ELSE JOPTIONPANE SHOWMESSAGEDIALOG NULL EL AUTOMATA NO COMPLETO LA CADENA SWINGUTILITIES UPDATECOMPONENTTREEUI CONTENEDOR IF EVENTO GETSOURCE BOTONTABLA TABLA METODO CREARTABLA ALFA CUANTOSO CUANTOSALF 0 FOR INT Z 0 Z lt Q LENGTH Z FOR INT J 0 J lt ALFA LENGTH J 5 AGREGARCOMPONENTE NEW JTEXTFIELD TABLA Z J 2 1 3 1 1 INT CONTA 0 FOR INT Z 0 Z lt Q LENGTH Z FOR INT J 0 J lt ALFA LENGTH J FOR INT SIM 0 SIM lt Q LENGTH SIM IF Q SIM EQUALS TABLA Z J CONTA IF TABLA Z J EQUALS 2 J EQUALS CONTA IF CONTA CUANTOSO CUANTOSALF BOTONREVISAR SETENABLED TRUE ELSE 164 165 BOTONREVISAR SETENABLED FALSE JOPTIONPANE SHOWMESSAGEDIALOG NULL LA TABLA DE 166 ESTADO TIENE SIMBOLOS DE ESTADO QUE NO ENTIENDE NCORREGIR POR FAVOR 1672. 168 SWINGUTILITIES UPDATECOMPONENTTREEUI CONTENEDOR 169 170 171 172 173 PRIVATE VOID AGREGARCOMPONENTE COMPONENT COMPONENTE INTFILA INT COLUMNA INT ANCHURA INT ALTURA 174 175 ESTABLECER GRIDX Y GRIDY 176 RESTRICCIONES GRIDX COLUMNA 177 ESTRICCIONES GRIDY FILA 178 179 ESTABLECER GRIDWIDTH Y GRIDHEIGHT 180 ESTRICCIONES GRIDWIDTH ANCHURA 181 ESTRICCIONES GRIDHEIGHT ALTURA 182 183 ESTABLECER RESTRICCIONES Y AGREGAR COMPONENTE 184 ESQUEMA SETCONSTRAINTS COMPONENTE RESTRICCIONES 185 CONTENEDOR ADD COMPONENTE 186 187 PUBLIC STATIC VOID MAIN STRING ARGS 188 189 GRAFICO APLICACION NEW GRAFICO 190 APLICACION SETDEFAULTCLOSEOPERATION JFRAME EXIT ON CLOSE 191 192 193 FIN DE LA CLASE DEMOGRIDBAG CLASE METODO VIEW SOURCE PRINT 01 IMPORT JAVAX SWING 02 PUBLIC CLASS METODO 03 1 04 INT ACTUALO 0 05 INT ACTUALALF 0 06 PUBLIC STRING CREARO INT TOTALO STRING 0 07 08 ACTUALO 0 09 WHILE ACTUALQ lt TOTALQ 1 10 i Q ACTUALO JOPTIONPANE SHOWINPUTDIALOG INSERTA LA ENTRADA ACTUALO 12 ACTUALQ 13 14 RETURN 0 7 15 16 PUBLIC STRING CREARALFABETO INT TOTALALF STRING ALFABETO 17 18 ACTUALALF 0 19 WHILE ACT
3. ESQU BO BOT ONQ ONA ONTABLA BO BOT DI BOT O ON SACTIVAR Z T REVISAR INIFIN F Es EW J EMA SIMB BOTONALFA BOTONTABLA E DE BUTTON CR EAR ALFAB ETO NEW JBU N EW JBU TON EW JBU ON BO ON ONTABLA S E T ENAB ES ED FALS BO ONREVISAR 5 ENABLED FAL BO INSTANCIAR R R a ES E RM E RM RES AGRI ONINIFIN S ET ENABL T D FALS ESTRICCION ES D E ENA A R INICIO Y FINAL CREAR TABLA CADI GRIDBAGLAYOUT TRICCION ES N CREAR COMP ON ENT ES DE GUI WEIGHTX Y WEIGHTY PARA AR INADO INADO T EGARCOMPON RICCIONES FILL EW GRIDBAGCONSTRAINTS EAT EX ANCHOR PARA TODOS LOS COMPON ENT 01 SON 0 EDOS EVISAR EL VALOR EN ES ES C ENT ER EL VALOR GRIDBAGCONSTRAINTS BOTH BOTONQ 0 0 2 1 050 051 052 053 054 055 056 057 058 059 060 061 062 063 064 065 066 067 068 069 070 071 072 073 074 075 076 077 078 080 081 082 083 084 0
4. FOR INT 0 A Q L GFF ELSE INICIO EQUALS H H 0 RETURN INICIO 87 88 89 PRUEBAS Y DEPURACION LA PRIMERA PRUEBA DE NUESTRO CODIGO ES UNA VERSION ACERCADA DEL DISE O PRINCIPAL ESTA ES UNA VISTA PRELIMINAR DEL PROGRAMA Crear Simb de Edos Crear Alfabeto COMO PRIMERA PRUEBA SE HAN CREADO LOS BOTONES RESPECTIVOS YSOLO EL BOTON CREAR SIMBOLOS DE ESTADOS Y CREAR ALFABETO SON FUNCIONALES Cuantas entradas son Q CONCLUSIONES ESPERADAS CREEMOS FIRMEMENTE QUE UNA HERRAMIENTA COMO EL SOFTWARE QUE QUEREMOS REALIZAR SERIA DE MUCHA UTILIDAD PARA LOS ALUMNOS DE LA MATERIA DE TEOR A DE LA COMPUTACI N AL USAR GR FICOS EL APRENDIZAJE SE VUELVE M S SENCILLO ES POR ESO QUE EL SIMULADOR DE AUT MATAS DEBE SER APROBADO GLOSARIO TECNICO e LA TEOR A DE LA COMPUTACI N ES UNA CIENCIA EN PARTICULAR UNA RAMA DE LA MATEM TICA Y DE LA COMPUTACI N QUE CENTRA SU INTER S EN EL ESTUDIO Y DEFINICI N FORMAL DE LOS C MPUTOS AUT MATA ES UNA M QUINA UN MECANISMO ARTIFICIAL PERO TAMBI N PUEDE SER UN INSTRUMENTO MUSICAL QUE TOCA CON AYUDA DE UN MECANISMO OCULTO UN AUTOMATA FINITO O M QUINA DE ESTADO FINITO ES UN MODELO MATEM TICO DE UN SISTEMA QUE RECIBE UNA CADENA CONSTITUIDA POR S MBOLOS DE UN ALFABETO Y DETERMINA SI ESA CADENA PERTENECE AL LENGUAJE QUE EL AUT MATA RECONOCE e GRAFO ES UN CONJUNTO DE OBJETOS LLAMADOS V RTIC
5. AUTOMATA ES DECIR LOS ESTADOS QUE LO COMPONEN Crear simbolos de entrada Estados Caracteres de entrada Crear alfabeto Cuantas entradas tiene Cadena a revisar EL SEGUNDO BOTON CREAR ALFABETO PEDIRA LOS SIMBOLOS DE ENTRADA DEL AUTOMATA PRIMERO DEBEN ENTRAR EL NUMERO DE CARACTERES DEL ALFABETO Y DESPUES LOS SIMBOLOS UNO POR UNO COMO SE MUESTRA A CONTINUACION Crear simbolos de entrada Estados Caracteres de entrada A Crear alfabeto Inicio y final Crear tabla Cadena a revisar EL TERCER BOTON INICIO Y FINAL ES PARA ESPECIFICAR QUE ESTADO ES EL PRIMERO Y CUAL O CUALES SON LAS SALIDAS Crear simbolos de entrada Estados Caracteres de entrada Crear alfabeto serta el ini ostad Cm Inicio y final Crear tabla Cadena a revisar EL SIGUIENTE BOTON CREAR TABLA TENDRA LA FINALIDAD DE CREAR LA TABLA DE TRANSICION CON LOS DATOS RECABADOS Y SE LLENARAN LOS ESPACIOS QUE ANTES ESTABAN VACIOS DE LA TABLA PARA TERMINAR EL BOTON CADENA A REVISAR PEDIRA UNA CADENA QUE EVALUARA POSTERIORMENTE Crear simbolos de entrada Estados Caracteres de entrada Crear alfabeto Inicio y final Crear tabla Cadena a revisar EL RESULTADO DE LA EVALUACION SE MOSTRARA POR UNA VENTANA QUE SE MUESTRE YA SEA VALIDA O NO Crear simbolos de entrada Estados Caracteres de entrada Crear alfabeto Inicio y final Crear tabla Cadena a revisar
6. TERMINA EN ESTE NUEVO ESTADO e AGREGAMOS ARCOS DE LOS OTROS ESTADOS A ESTE NUEVO HASTA QUE CADA UNO DE LOS ESTADOS SEA EL ORIGEN DE UN ARCO PARA CADA S MBOLO DEL ALFABETO DIAGRAMA MODIFICADO DEL EJEMPLO 1 letra digito VI 0 digito digito DIAGRAMA MODIFICADO DEL EJEMPLO 2 EN ESTE EJERCICIO EL NUEVO ESTADO ES EL NUMERO 8 OBSERVE QUE EN DIAGRAMA ORIGINAL LA OCURRENCIA DE UNA CADENA INACEPTABLE OCASIONABA UN ERROR AL SOLICITAR EL RECORRIDO DE UN ARCO INEXISTENTE EN EL DIAGRAMA MODIFICADO UNA CADENA INACEPTABLE OCASIONA QUE LA MAQUINA RECORRA UN ARCO A ESTADO 8 DONDE PERMANECE HASTA ALCANZAR EL FINAL DE LA CADENA DE ENTRADA AL LLEGAR A ESTE PUNTO SE RECHAZARA LA CADENA YA QUE EL ESTADO 8 NO ES DE ACEPTACI N POR ESTO LOS DOS DIAGRAMAS SON EQUIVALENTES EN LO QUE SE REFIERE A QUE ACEPTAN LAS MISMAS CADENAS DIFIEREN SOLO EN LA MANERA EN QUE LLEGAN A SUS CONCLUSIONES AUTOMATA FINITO NO DETERMINISTA ESTA MAQUINA SE PARECE MUCHO A UN AFD PUES TAMBI N ANALIZA CADENAS CONSTRUIDAS A PARTIR DE UN S Y SOLO PUEDE TENER UN NUMERO FINITO DE ESTADOS ALGUNOS DE LOS CUALES SON DE ACEPTACI N Y UNO ES EL ESTADO INICIAL A DIFERENCIA DE LOS AFD LA TRANSICI N QUE SE EJECUTA EN UNA ETAPA DADA DE UN AFN PUEDE SER INCIERTA ES POSIBLE APLICAR CERO UNA O MAS DE UNA TRANSICI N MEDIANTE EL MISMO S MBOLO DE ENTRADA COMO SUCEDE CON UNA MAQUINA QUE NO ESTA COMPLETAMENTE DEFINIDA EJEMPLO DIAGRAMA DE TRANSICIONES QUE ACEPTA CAD
7. 1 AVANCE DEL PROYECTO PARA TEORIA DE LA COMPUTACION NOMBRE DEL PROYECTO SIMULADOR DE AUTOMATAS FINITOS SAF OBJETIVO DEMOSTRAR EL FUNCIONAMIENTO Y APLICACION DE LOS AUTOMATAS AL PUBLICO EN GENERAL MEDIANTE UNA FORMA DINAMICA Y SENCILLA PARA EL USUARIO PROMEDIO CON ESTE PROYECTO DESARROLLADO EN JAVA PRETENDEMOS DAR A CONOCER QUE LOS AUTOMATAS SON HERRAMIENTAS UTILES PARA MODELAR Y ANALIZAR CUALQUIER SISTEMA EN EL UNIVERSO HAN SIDO UTILIZADOS PARA MODELAR SISTEMAS F SICOS CREAR INT RPRETES Y TRADUCTORES HASTA LOS M S COMPLEJOS COMO LOS COMPILADORES AS COMO INTERACCIONES ENTRE PART CULAS FORMACI N DE GALAXIAS CINETICA DE SISTEMAS MOLECULARES Y CRECIMIENTO DE CRISTALES AS COMO DIVERSOS SISTEMAS BIOL GICOS A NIVEL CELULAR MULTICELULAR Y POBLACIONAL EL ALUMNO DESARROLLARA UN PROGRAMA HECHO EN JAVA ACORDE A LOS AUTOMATAS PARA ESTO DEBERA PONER EN PRACTICA TODOS LOS CONOCIMIENTOS ADQUIRIDOS DURANTE SU APRENDIZAJE SOBRE EL LENGUAJE JAVA EL PROGRAMA A REALIZAR SERVIRA DE HERRAMIENTA DIDACTICA PARA LOS USUARIOS INTERESADOS EN LA PRACTICA DE ESTE TEMA MISION PERMITIR AL USUARIO EXPERIMENTAR EN VIVO LAS APLICACIONES DE LOS AUT MATAS Y LOGRAR INTERESARSE POR EL TEMA DEMOSTRADO FACILITANDO EL APRENDIZAJE A LOS MISMOS ASI COMO LOGRAR EL MAXIMO APROVECHAMIENTO DE LA HERRAMIENTA HACIA EL USUARIO INTERERESADO VISION EL USO DEL SOFTWARE DESARROLLADO SERA DID CTICO DIN MICO Y ATRACTIVO PARA EL USUARIO EL PROGRAMA PODRIA SER
8. 85 086 087 088 AGRI AGRI AGRI AGRI MANI BOT BOT EGARCO EGARCO EGARCO EGARCO F EU TON TON TON AD BO DI ONREVISAR ADDACTIONLIST ESACTIVAR BOTONES SIZ E PON PON PON PON JADORBOTON MAN 0 DACTIONLIST ALFA ADDACTIONLIST TABLA ADDACTION INIFIN ADDACTIONLIST 500 EN NA BO FA 1 0 2 1 ENTE BO NINIFIN 2 0 2 1 EN E BO NTABLA 3 0 2 1 E O O O O ENTE BO NREVISAR 4 0 2 1 EJAD OR NEW MANEJADORBOTON EN ER MANEJADOR ENER MANEJADOR I STENER EJADOR F ENER MANEJADOR 500 E LOCATIONR E FIN DEL M 1 VISIB ELATIVETO ENER MAN EJADOR TRUE TODO PARA PRIVA PUB CONS E CLASS MANI LIC VOID ACTIONP NULL RUCTOR D EMOGRIDBAG ABLE ESTRICCIONI GI EJADORBOT EM EN ON IMPLEMENTS ACTIONLIST ERFO RM ED ACTION EV ENT EV ENTO EN TO G ETSOURC INICIO AGR ULTIMO AGR JOPTI 12 BOTONINIFIN E T ONPANE
9. ADO A LAS HORAS M S FAVORABLES QUE SON AQUELLAS EN LAS QUE LA EVAPORACI N ES MENOR 3 LA HORA DEL LTIMO REGADO CON EL FIN DE ESPACIARLOS LO NECESARIO Y SUFICIENTE ESTO SE HAR MEDIANTE UN SISTEMA QUE CONTROLAR LA CANTIDAD DE AGUA QUE CAE EN BASE AL TIEMPO 1 ENTRADA SE USAR UNA SALIDA DE REL PARA CONTROL DE APERTURA Y CIERRE DE LA V LVULA DEL DEP SITO 1 SALIDA REL EL RESTO SER CONTROL DEL RELOJ EN TIEMPO REAL DE QUE DISPONE EL EQUIPO Y EL PROGRAMA BASIC QUE LO MANEJA TODO FORMALMENTE UN AUT MATA FINITO DETERMINISTA CONSISTE EN UNA QU NTUPLA S gt 8 1 F DONDE S ES UN CONJUNTO FINITO DE ESTADOS e Z ESEL ALFABETO DE LA MAQUINA e ES UNA FUNCI N FUNCI N DE TRANSICI N DE SXS S I ESTADO INICIAL UN ELEMENTO DE S e CONJUNTO DE ESTADOS DE ACEPTACI N SUB CONJUNTO DE S DIAGRAMA DE TRANSICIONES DETERMINISTA PARA REPRESENTAR UN PROGRAMA EN EL MECANISMO DE CONTROL UTILIZAMOS UN DIAGRAMA DE TRANSICIONES CUYOS ESTADOS REPRESENTAN LOS ESTADOS DE LA MAQUINA Y CUYOS ARCOS REPRESENTAN UNA POSIBLE TRANSICI N DE LA MAQUINA POR LO TANTO LOS ESTADOS DE INICIO Y ACEPTACI N DEL DIAGRAMA CORRESPONDEN A LOS ESTADOS DE INICIO Y ACEPTACI N DEL AUT MATA UN DIAGRAMA PARA UN AFD ACEPTARA ASI Y SOLO SI SU ESTADO INICIAL ES TAMBI N UN ESTADO DE ACEPTACI N EL REQUISITO DEL DETERMINISMO IMPONE CIERTAS RESTRICCIONES SOBRE LOS DIAGRAMAS DE TRANSICIONES QUE PUEDEN APARECER EN LOS PROGRAMAS PARA UN AUT
10. BORACI N DEL ANTEPROYECTO 13 02 2010 B 602200 ENTREGA DEL ANTEPROYECTO 15 02 2010 1 t6 02 2010 APROBACI N DEL PROYECTO 17 02 2010 19 02 2010 ELABORAR UN AN LISIS CON LOS REQUERIMIENTOS PARA DESARROLLAR EL 19 02 2010 PROYECTO 23 02 2010 OBTENCI N DE TODOS LOS REQUERIMIENTOS 22 02 2010 5 7 02 2010 ELABORACI N BORRADOR DEL DISE O DEL 28 02 2010 DIAGRAMA DE GANTT pini 0 4 Descision de proyecto a realizar Investigacion previa para obtener conocimientos basicos 10 16 2 10 26 2 10 Bio 18 3 40 28 3 10 7 40 17 4 10 Estudio de viavilidad economica Elaboracion del anteproyecto Entrega del anteproyecto Aprobacion del proyecto Elaborar un analisis con los requerimientos para desarrollar el proyecto Obtencion de todos los requerimientos Elaboracion borrador del dise o del proyecto en papel Dise o del programa con herramientas UML Inicio de la codificaci n Revision de fuentes libros internet para la codificacion Inicio de pruebas del proyecto Elaboracion de manual tecnico Elaboracion de manual operativo Presentacion preliminar del proyecto Entrega del proyecto Presentacion en el domo DISE O LA VENTANA DE ENTRADA ES LA SIGUIENTE Crear simbolos de entrada Estados Caracteres de entada Crear alfabeto Crear tabla Cadena a revisar TENDRA 5 BOTONES PARA EVALUAR LA CADENA Y UN TABLA DE TRANSICIONES EL PRIMER BOTON PEDIRA CUANTRAS ENTRADAS TIENE EL
11. CI N DE ESTADOS CADA NODO DEL GRAFO CORRESPONDE A UN ESTADO EL ESTADO INICIAL SE INDICA MEDIANTE UNA FLECHA QUE NO TIENE NODO ORIGEN LOS ESTADOS FINALES SE REPRESENTAN CON UN C RCULO DOBLE SI EXISTE UNA TRANSICI N DEL ESTADO EI AL ESTADO EJ PARA UN S MBOLO DE ENTRADA A EXISTE ENTONCES UN ARCO ROTULADO A DESDE EL NODO El AL NODO EJ LOS AUT MATAS VIENEN A SER MECANISMOS FORMALES QUE REALIZAN DERIVACIONES EN GRAM TICAS FORMALES LA MANERA EN QUE LAS REALIZAN ES MEDIANTE LA NOCI N DE RECONOCIMIENTO UNA PALABRA SER GENERADA EN UNA GRAM TICA SI Y S LO SILA PALABRA HACE TRANSITAR AL AUT MATA CORRESPONDIENTE A SUS CONDICIONES TERMINALES POR ESTO ES QUE LOS AUT MATAS SON ANALIZADORES L XICOS LLAMADOS EN INGL S PARSERS DE LAS GRAMATICAS A QUE CORRESPONDEN ESTOS SON LOS AUT MATAS FINITOS M S SENCILLOS SE CONSTRUYEN A PARTIR DE UN CONJUNTO DE ESTADOS Q Y DE UN CONJUNTO DE S MBOLOS DE ENTRADA T SU FUNCIONAMIENTO QUEDA DETERMINADO POR UNA tiQxT gt FUNCI N DE TRANSICI N Q 9 SI7 0 S P ESTO SE INTERPRETA COMO QUE EL AUT MATA TRANSITA DEL ESTADO Q AL ESTADO P CUANDO ARRIBA EL S MBOLO S EN TODO AUT MATA FINITO SE CUENTA CON UN FC ESTADO INICIAL ni 9 UN CONJUNTO DE ESTADOS FINALES 9 CON AutoReg Q T t qo F TODO ESTO DEFINIDO LA ESTRUCTURA ES U AUT MATA REGULAR DE MANERA NATURAL 7 SE EXTIENDE A UNA A T 4 FUNCION DE TRANSICION 9 TODA PALABRA SE APLICA AL AUT MATA Y STE PARTIEN
12. DO DEL ESTADO INICIAL TRANSITA CON CADA SIMBOLO DE LA PALABRA DADA SEGUN LO ESPECIFIQUE 7 CORRESPONDIENDO A ESE SIMBOLO Y AL ESTADO ACTUAL EN EL AUT MATA UNA PALABRA ES RECONOCIDA POR EL AUTOMATA SILO HACE ARRIBAR A UN ESTADO FINAL EL LENGUAJE DEL AUT MATA CONSTA DE TODAS LAS PALABRAS RECONOCIDAS AutoReg Q 1 EJEMPLO SEA EL AUT MATA CUYO CONJUNTO DE Q a b c I T 0 1 ESTADOS ES EL DE S MBOLOS DE ENTRADA ES SU F a ESTADO INICIAL ES 00 A Y EL CONJUNTO DE ESTADOS FINALES ES SU TRANSICION QUEDA DETERMINADA POR LA TABLA t 1 G G alo a b e OBSERVAMOS QUE PARTIENDO DEL ESTADO MIENTRAS LLEGUEN 1 S SE EST EN EL ESTADO INICIAL CON UN 0 SE PASA A B CON UN SEGUNDO 0 SE PASA A CY DE AH NO SE SALE M S EN B AL LLEGAR UN 1 SE REGRESA AL ESTADO INICIAL AS PUES PARA ARRIBAR AL ESTADO A DESDE A MISMO LA CADENA DE ENTRADA HA DE SER UNA SARTA DE VARIAS DE 1 S SEPARADAS STAS POR NICOS 05 EN OTRAS PALABRAS EL AUT MATA RECONOCE AL LENGUAJE 1 0 1 LOS AUT MATAS TIENEN COMO APLICACI N HACER MAS SENCILLA LAS TAREAS PARA EL SER HUMANO UNO DE LOS EJEMPLOS DE APLICACI N ES LA DE UN CONTROLADOR DE RIEGO EL AUT MATA CONTROLA EL REGADO DE UN CAMPO TENIENDO EN CUENTA VARIOS FACTORES QUE SON 1 LA CANTIDAD DE AGUA DE UN DEP SITO ABASTECIDO CON LLUVIA TENIENDO EN CUENTA EL NDICE DE PLUVIOSIDAD MINUTO A MINUTO 2 LA HORA DEL D A CON EL FIN DE REALIZAR EL REG
13. ENAS QUE REPRESENTAN ENTEROS O CADENAS QUE REPRESENTAN NUMEROS REALES EN NOTACION DECIMAL UN AFN ACEPTA UNA CADENA SI ES POSIBLE QUE SU AN LISIS DEJE A LA MAQUINA EN UN ESTADO DE ACEPTACION DE MANERA FORMAL UN AFN SE DEFINE COMO SIGUE UN AFN CONSISTE EN UNA QU NTUPLA S Z P I F DONDE e SES UN CONJUNTO FINITO DE ESTADOS LES EL ALFABETO DE LA MAQUINA e PES UN SUB CONJUNTO DE SXS XS LLAMADA RELACI N DE TRANSICIONES e TES LE ESTADO INICIAL UN ELEMENTO DE S e FES LA COLECCI N DE ESTADOS DE ACEPTACI N UN SUB CONJUNTO DE S DESARROLLO EL PROYECTO TRATARA DE UN SIMULADOR DE AUT MATAS EL SISTEMA PEDIRA EL NUMERO DE ESTADOS DEL AUTOMATA LOS ESTADOSFINALES Y EL INICIAL ASICOMO LA CADENA QUE SE QUIERE COMPROBAR POR CONSIGUIENTE EVALUARA LA CADENA INTRODUCIDA Y SE MOSTRARA LA TABLA DE TRANSICIONES CORRESPODIENTE SE PRETENDE QUE SEA UNA HERRAMIENTA DID CTICA EN EL APRENDIZAJE DE AUT MATAS SE ESPERA AGREGAR TODAS LAS OPCIONES MOSTRADAS ANALISIS AN LISIS DE LOS REQUISITOS PLATAFORMA JAVA JDK 6 EDITOR DE C DIGO TEXT PAD BLUE J NEAT BEANS ETC CONOCIMIENTOS PREVIOS DE PROGRAMACI N O O CONOCIMIENTOS PREVIOS DE TEOR A DE LA COMPUTACI N SISTEMA OPERATIVO WINDOWS XP VISTA SEVEN TABLA DE EVENTOS DURACION DECISI N DE PROYECTO A REALIZAR 10 02 2010 p i2 02 2010 a RR B ONOCIMIENTOS BASICOS 10 22 02 2010 C_ ESTUDIO DE VIABILIDAD ECON MICA 14 02 2010 19 02 2010 ELA
14. ES O NODOS UNIDOS POR ENLACES LLAMADOS ARISTAS O ARCOS QUE PERMITEN REPRESENTAR RELACIONES BINARIAS ENTRE ELEMENTOS DE UN CONJUNTO e AUTOMATA PROGRAMABLE O PLC CONTROLADOR L GICO PROGRAMABLE TODA M QUINA ELECTR NICA DISE ADA PARA CONTROLAR EN TIEMPO REAL Y EN MEDIO INDUSTRIAL PROCESOS SECUENCIALES SU MANEJO Y PROGRAMACI N PUEDE SER REALIZADA POR PERSONAL EL CTRICO O ELECTR NICO SIN CONOCIMIENTOS INFORM TICOS REALIZA FUNCIONES L GICAS SERIES PARALELOS TEMPORIZACIONES CONTAJES Y OTRAS M S POTENTES COMO C LCULOS REGULACIONES ETC CADENAS CONJUNTO DE CARACTERES ENLAZADOS ENTRE SI e EL LENGUAJE DE PROGRAMACI N ES EL MEDIO QUE UTILIZAN LOS PROGRAMADORES PARA CREAR UN PROGRAMA DE ORDENADOR UN LENGUAJE DE MARCAS ES EL MEDIO PARA DESCRIBIR A UN ORDENADOR EL FORMATO O LA ESTRUCTURA DE UN DOCUMENTO ETC BIBLIOGRAFIA HTTP HTML RINCONDELVAGO COM AUTOMATAS PROGRAMABLES_2 HTML HTTP ES WIKIPEDIA ORG WIKI DESARROLLO_EN_CASCADA
15. Estados CODIFICACION UNA PRIMERA PARTE DEL PROGRAMA A DESARROLLAR SE MUESTRA A CONTRINUACION PARA CREAR LA INTERFAZ PENSADA NECESITAMOS DOS CLASES UNA PARA LOS GRAFICOS Y LOS EVENTOS PRINCIPALES LA OTRA ES UNA CLASE METODO DONDE TRABAJAREMOS CON EL METODO METODO QUE NECESITAMOS PARA COMPLEMENTARLA CLASE GRAFICO VIEW SOURCE PRINT 001 IMPORT JAVA AWT 002 IMPORT JAVA AWT EVENT 003 IMPORT JAVAX SWING 004 005 PUBLIC CLASS GRAFICO EXTENDS JFRAME 006 007 VARIABLES 008 PRIVATE METODO METODO NEW METODO 009 STRING INICIO ULTIMO 010 STRING Q o o o o o JO QU DN Pp 020 021 022 023 024 025 026 027 028 029 030 031 032 033 034 035 036 037 038 039 04 04 04 04 04 Ms 9 04 04 04 BOTONRI PR PR INT CUANTOSO STRING TABLA INT STRING ALFA RIVA E RIVA T GRIDBAG RIVA E CONTAINER CONT AYOUT GRIDBAGCONSTRAINTS R P P P P RIVA UBLIC SUP CON F GRAFICO GI R EN EDOR ESO EMA N CON BOT JBUTTON BOTONO EVISAR BOTONINIFIN EN EDOR ESQU EMA ESTRICCIONES AUTOMATAS G ETCON ENTPAN F O EW GRIDBAGLAYOUT ENEDOR S E T 2 NEW JBUTTON CREA sAYOUT
16. MATA FINITO DETERMINISTA SE DICE QUE UN DIAGRAMA DE TRANSICIONES ES DETERMINISTA SI CUMPLE LAS SIGUIENTES CONDICIONES e EN PARTICULAR CADA ESTADO DE ESTOS DIAGRAMAS SOLO DEBE TENER UN ARCO QUE SALE PARA CADA S MBOLO DEL ALFABETO DE LO CONTRARIO UNA MAQUINA QUE LLEGA A ESTE ESTADO SE ENFRENTARA A UNA ELECCI N DE CUAL DEBE SER EL ARCO A SEGUIR e ADEM S DICHO DIAGRAMA DEBE ESTAR COMPLETAMENTE DEFINIDO ES DECIR DEBE EXISTIR POR LO MENOS UN ARCO PARA CADA S MBOLO DEL ALFABETO DE LO CONTRARIO UNA MAQUINA QUE LLEGA A ESTE ESTADO PUEDE ENFRENTARSE A UNA SITUACI N DONDE NO PUEDA APLICARSE NINGUNA TRANSICI N EJEMPLO 1 EL SIGUIENTE DIAGRAMA NO ES DETERMINISTA YA QUE NO ESTA COMPLETAMENTE DEFINIDO NO REPRESENTA CUAL SERA LA ACCION QUE DEBE OCURRIR SISE RECIBE UNA LETRA O UN D GITO MIENTRAS SE ENCUENTRA EN EL ESTADO 2 letra e digito o dl SAL w EJEMPLO 2 EL SIGUIENTE DIAGRAMA TIENE PROBLEMAS SIMILARES YA QUE ENTRE OTRAS COSAS NO DESCRIBE QUE DEBERA SUCEDER SI RECIBE UN PUNTO MIENTRAS SE ENCUENTRA EN EL ESTADO INICIAL NO OBSTANTE LOS DOS DIAGRAMAS VISTOS ANTERIORMENTE NO TIENEN MAS DE UN ARCO DE SALIDA DE UN ESTADO PARA CADA S MBOLO Y POR CONSIGUIENTE PUEDEN MODIFICARSE PARA AJUSTARSE A LOS REQUISITOS DEL DETERMINISMO APLICANDO LO SIGUIENTE A ADIMOS UN ESTADO QUE REPRESENTARA UN PAPEL DE CAPTACI N GLOBAL e PARA CADA S MBOLO DEL ALFABETO DIBUJAR UN ARCO ROTULADO CON DICHO SIMBOLO QUE EMPIEZA Y
17. O 099 ALFA NEW STRING CUANTOSALF 100 ALFA METODO CREARALFABETO CUANTOSALF ALFA 101 IF CUANTOSQ gt 1 CUANTOSALF gt 1 102 103 BOTONTABLA SETENABLED TRUE 104 105 106 AGREGARCOMPONENTE NEW JTEXTFIELD EDO ALFA 0 2 1 1 107 FOR INT M 0 M lt ALFA LENGTH 1 M 108 AGREGARCOMPONENTE NEW JTEXTFIELD ALFA M 0 M 3 1 1 109 SWINGUTILITIES UPDATECOMPONENTTREEUI CONTENEDOR L10 111 IF EVENTO GETSOURCE BOTONREVISAR 112 13 INT CONTADOR 0 T STRING CAD NEW STRING METODO CREAINT QUE LARGO TIENE LA CADENA 15 116 FOR INT CONTA 0 lt CAD LENGTH CONTA gt CAD CONTA JOPTIONPANE SHOWINPUTDIALOG INSERTAR EL VALOR CONTA 1 DE LA CADENA 18 FOR INT CONTA1 0 1 lt CAD LENGTH CONTA1 120 FOR INT CONTA 0 CONTA lt ALFA LENGTH CONTA 153 IF ALFA CONTA EQUALS CAD CONTA1 CAD CONTAI EQUALS CAD CONTA1 EQUALS 122 CONTADOR 123 124 IF CONTADOR CAD LENGTH 125 INICIO METODO REVISAR ALFA Q TABLA CAD INICIO 126 127 128 129 130 131 132 133 134 135 136 137 138 139 o NH 1 157 158 159 160 161 162 163
18. SHOWINPUTDIALOG INS EL A INICIO F EGARCOMPON NT INICIO EW JT JOPTI E N ELD 19 SHOWINPUTDIALOG INS EL FINAL F EGARCOMPON NT E NEW JTEXTFIELD FINAL ULTIMO SWINGUTILITIES UPDATECOMPON ENTTR EUI CONT ENEDOR EN TO G ETSOURC O N Q UANTOSO METO EW STRING CUANTOSO D M ETODO CRE E BOTONO O CREAINT CUANTAS ENTRADAS SON 0 ARO CUANTOSO 0 IF CUANTOSO gt 1 amp amp CUANTOSALF gt 1 089 BOTONTABLA SETENABLED TRUE 090 091 BOTONINIFIN SETENABLED TRUE 092 FOR INT Z 0 Z lt Q LENGTH Z 093 AGREGARCOMPONENTE NEW JTEXTFIELD Q Z Z 1 2 1 1 094 SWINGUTILITIES UPDATECOMPONENTTREEUI CONTENEDOR 095 096 IF EVENTO GETSOURCE BOTONALFA 097 dda CUANTOSALF METODO CREAINT CUANTOS CARACTERES TIENE EL ALFABET
19. UALALF lt TOTALALF 20 aa ALFABETO ACTUALALF JOPTIONPANE SHOWINPUTDIALOG INSERTAR EL CARACTER ACTUALALF DEL ALFABETO 22 ACTUALALF 23 24 RETURN ALFABETO 25 26 PUBLIC INT CREAINT STRING S 27 28 RETURN INTEGER PARSEINT JOPTIONPANE SHOWINPUTDIALOG S 29 30 si PUBLIC STRING CREARTABLA STRING ALFA INT CUANTOSO INT CUANTOSALF STRING Q 32 33 STRING TABLA NEW STRING CUANTOSQ CUANTOSALF 34 FOR INT 1 0 IX CUANTOSQ 1 I 35 FOR INT J 0 J lt CUANTOSALF 1 J gt TABLA I J JOPTIONPANE SHOWINPUTDIALOG INSERTE VALORES DE LA TABLA DE EDO 37 RETURN TABLA 38 39 40 41 45 PUBLIC STRING REVISAR STRING ALFA STRING 011 STRING TABLA STRING CADENA STRING INICIO 43 4 INT G 0 H 0 45 WHILE G lt CADENA LENGTH 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 7 9 80 81 82 83 84 85 86 CADENA G EQUALS EQUALS ALFA H A lt Q LENGTH A IF INICIO EQUALS O A INICIO TABLA A H ENGTH H ALFA LENGTH IF INICIO EQUALS G ALFA LENGTH INICIO TABLA A H IF CADENA G EQUALS INICIO CADENA G G CADENA LENGTH ELSE WHILE H lt ALFA LENGTH IF CADENA 6
20. USADO POR TODOS LOS ESTUDIANTES CON NECESIDAD DE REFORZAR SUS CONOCIMIENTOS SOBRE AUTOMATAS MARCO TEORICO UN AUT MATA FINITO ES UN MODELO MATEM TICO DE UNA M QUINA QUE ACEPTA CADENAS DE UN LENGUAJE DEFINIDO SOBRE UN ALFABETO A CONSISTE EN UN CONJUNTO FINITO DE ESTADOS Y UN CONJUNTO DE TRANSICIONES ENTRE ESOS ESTADOS QUE DEPENDEN DE LOS S MBOLOS DE LA CADENA DE ENTRADA EL AUT MATA FINITO ACEPTA UNA CADENA X SILA SECUENCIA DE TRANSICIONES CORRESPONDIENTES A LOS S MBOLOS DE X CONDUCE DESDE EL ESTADO INICIAL A UN ESTADO FINAL SIPARA TODO ESTADO DEL AUT MATA EXISTE COMO M XIMO UNA TRANSICI N DEFINIDA PARA CADA S MBOLO DEL ALFABETO SE DICE QUE EL AUT MATA ES DETERMIN STICO AFD SIA PARTIR DE ALG N ESTADO Y PARA EL MISMO S MBOLO DE ENTRADA SE DEFINEN DOS O M S TRANSICIONES SE DICE QUE EL AUT MATA ES NO DETERMIN STICO AFND FORMALMENTE UN AUT MATA FINITO SE DEFINE COMO UNA 5 UPLA M lt E A D E0 F gt DONDE E CONJUNTO FINITO DE ESTADOS A ALFABETO O CONJUNTO FINITO DE S MBOLOS DE ENTRADA D FUNCI N DE TRANSICI N DE ESTADOS QUE SE DEFINE COMO D E X A gt E SI EL AUTOMATA ES DETERMIN STICO D E X A gt P E SIEL AUTOMATA ES NO DETERMIN STICO P E ES EL CONJUNTO POTENCIA DE E ES DECIR EL CONJUNTO DE TODOS LOS SUBCONJUNTOS DE E E0 ESTADO INICIAL F CONJUNTO DE ESTADOS FINALES O ESTADOS DE ACEPTACI N GENERALMENTE SE ASOCIA CON CADA AUT MATA UN GRAFO DIRIGIDO LLAMADO DIAGRAMA DE TRANSI
Download Pdf Manuals
Related Search