Lenguajes, gramáticas y autómatas
Cases Muñoz, RafelMárquez Villodre, Lluís ; Márquez Villodre, Lluís ; Márquez Villodre, Lluís - -
México, D.F. : Alfaomega - 2002
Incluye referencias bibliográficas; índice alfabético
Lenguajes formales -- Gramáticas incontextuales -- Normalización de gramáticas -- Autómatas finitos -- Minimización de autómatas finitos -- Expresiones regulares y gramáticas regulares -- Propiedades de iteración -- Autómatas de pila -- Autómatas bidireccionales -- Simopsis del curso.
|
| ![Lenguajes, gramáticas y autómatas vignette](data:image/jpeg;base64,/9j/4AAQSkZJRgABAQAAAQABAAD/2wCEAAkGBxITEhUSEhIVFRUVFRcWGBYXFRgWFxcYFhcXGBcXFxUYHSggGholHRUVITEjJSkrLi8uFyAzOjMsNygtLisBCgoKDg0OFxAQGisdHx8tLS0tLS0tKy0tLS0tLS0tLS0tLS0uLS0tLS0rLS0tLS0rLS0rLS0tLS0tLS0tLS0tLf/AABEIANMAmAMBIgACEQEDEQH/xAAbAAAABwEAAAAAAAAAAAAAAAAAAQIDBAUGB//EAEAQAAIBAgQDBQQHBgUFAQAAAAECEQADBBIhMQVBUQYTImGBMnGRoRRCUpKxwdEHM1NicvAVFiNDgjSiwtLxsv/EABoBAAMBAQEBAAAAAAAAAAAAAAABAgMEBQb/xAAlEQACAgEDBQEBAAMAAAAAAAAAAQIRAxIhUQQTFDFBYSIFI5H/2gAMAwEAAhEDEQA/AMcaUtliCwViq+0wU5VnbM2w9aS1ans+pPDuI7mThtACfr3Nv75V6EpaUZIysUAK2nZnhWHTCNisSLRPfi0Bfe5bRQApOqKSWYnTloKt8fwjh+H+jlcN3wxGMFibjXEypcIB8JAJKyQARr61Hc3G0c3ilxXR8RwDC4Z7Fo4VsR9JxT2s+dh3KC4FAGUEGBqZ3Ab0j8T7P4dbuCVbUC7jblp4JOZFukBfKFU+gPSl3kGk5/T9zDuoGZWXMMwkESOonceddGwXZ7CC4lm7ZtqbzYgqWuP3zKhOU2kXRVAA1Y9Kcv8ABMMthb93K3dYW0AL73O6Gd2BZioJAgbARJ5UnnQaTl00Jrpv+D8OWXC2wbpt5e/75LEnRkt3SB4jAIJnfasJ2j4e2Hv3V7lraq5VQxLLsCALkAMIPKrjkUnSCiupBrpFvgeGW8MIcJnC4Nr5xJZ5Z8p0IAy5dRGu8aRTbcMwgxC2FwanJhExVy695lQEgqA6hScs+IwZmNIpd78CjnsUa++ujYvg+CWxcxQsW7i/Q1xAVGcWmbO2qFvEFIA35UdzhOEuXGsphQpuYH6Wrh2LK/ghEB0jxTr+dLvfgUYBsE/d96EOTNkz8s++UdTTRwj5C+RsoIUsVIAY7Anr5V04cOw4V1Nq3nwfcMtsXbtx7bOVJFw6JLaGF8vKpOJ4VaxV7EI65R9Pto2V2GeLCsSQTGY6CRyAqe8FHIiDQBre8OwtjEf6v+Hd0trvizNcK4eE/ibvmU7wBz20qe/CMCoGIKWlV8Mrhyl04VWLsM7iQyqQBBJ6+tPMuAo5ulCrrtdghZxRVba21ZVZQlw3EII0ZWIBCnpGlCrTtCZQNVhw3i2Lwys2HuPaViMzKoysVBIlipEjMfjVfNbL9ngS+L2CukBXNrECdpssO8EdGQAehoybIEVa9p+JLdJN+93jKFKsgkgSVHdld5ZiDE61GxWNxzMBda+WtP38OhDI0z3pBWRqBqdNOVXnAOKi/wAUfEvd7sP3jISyrIiLaZ2BCkiNeWtae5xCzcsLZa9ZW6+DxViDiheyu2TKr32gnY6kdd4rJyr4NIqeyPFbpS47Jiy6Z8U5R4t4gLDZSrLuYAi3v6xVWOMY3ub2JXEXbKNfLC2ltiuZmlj3xAVFBid5Okb1pMNjlt2rWGTF2g/+H4i3K3gEF7wC3LzAIJME+ZE06eIr3vfnFWjghhO7ax3gJz5SCnc7sSdZqG1foqjGW+M8SRdHxCqrTPdmAX19opoCW0G20concS4/ijetjC28TZa1YW0UKE3HglmZ7Srtrpp+lX2J7SRcxATEgIvDFNsB1IF8B/Z1/eyF89qWvE0uWUdcQjX/AKHaVkOJWwXIcls98AspXU5RqfWnf2hGZw2O4oLd/FC9dCqyrcDLrm5EKywAo3iIG9VvFcXiXspavpe/ePcD3EcF2uHZJUae4mZ5DSug8R4rbud+q422gJwjlheHsr+/yyfEcq6g6nSRTh4tbXNOIsZlxSOhuYnv8ywVzkADugZiEkLIJ5ihTp3Q6Muvas4e0ttrGLRxZZFt3XixLAqboDgXDoTC+yJjoaytnjuJW6Ly3mFwWxaz+Ge7GyHSCtavt7fttYsjvPH3rk2VvjEqoP8AuK+6gmBlPXyrCVtjinH0SyzxPaDF3FZbmIuMrqUYGPEpMlTptJJ9aQvGMRmzd8+buu5nT91p4NttB56VBowavShFpiO02Ndcj4m4VjLBiCN9dN9BrvpvScT2kxjxnxFwwVYageJPZMgDUa/GqwmiIo0LgC1udqscXW4cVczoCFaRoDEjLEGYG45UdvtTjgwcYq7mAImQTBMkGRqJ18uVU5FAUaI8BZLxGNuXbhuXXa47bsxknl6elCmLZoUbCCirXgl3EBL6WHREdAt5nKqApkAd43szmYQN/Sqo1PwF+33d2zdZkW4bbB1XvMptZ4BTMpIIuNsdIG9J+hojYvBPbYo6ww6agyAQQRoQQQQRyppbR3KmJiYMT0nr5edaXBcawqZMougWVvIq5Q2fvTbPeM+eF1RvDB3EHSpWD7Vpqbj3mJa7AgllL3WZXD58pCBhClZBXRgAIjU+CqMxZwbsWUA5lBYg6EARPh3nxDSguGYqzckIBnQyxgADedNatk4sguT313TBnDd9B70uSx7zLnzaZo9rNC7jSLdO1VkAjNd9hkPhDM7ZLYW6SXygnuxIKsZjWNKHKXAUZT6I/QzIAWPFqpIhdyIG/upk2jEwYmJgxPSevlWwv9p7TI1vPeDOCO/VSpQlmbwo1wsDDZSAwnOxEaA13FOOJcVwLl5s1pbPdvGUlLouHEEhoztGwWQzNJYRQpyfwKM7FA0QNETWgUA0mjJpM1QUKo6TNCaTE0HR0iizUWFCzQFJBowaVhQtaOkChQFBmrzsz9Di99LiSFFqcwg5bpYyp01FrWD7qozVlwfiVu1bvI6OwuNZcFGVcrWGZgGDAypLCY1ipl6GXlvAcLHg+kMc3dk3M2oI7zOqk2wACVt6kfWAqNg1wAvuM1tkFm3kNwuqFpHfFsmoaM0cgakt2qwpZm+hauxZ/EpmXRssRqPCd+bHai4F2wt4drsYeVe+LqrnH+mApWNt8pb73lWNS/RjbcO4bkB+lMG7tiRIYB/CVEZASCGIjqu/OmeKYLAolw2MQ7urqEDRDKQMx0XXUneI/GX/AJnw0W5wQORUVixVmKoG2JGmrD7sGnLnaLBC4SuBDDaTlAibhBCZd/GAZMeEdKf9fox/H4XhDgKl7uyWBJE6L4AyaqeQuMPNhUTE4HhjDw33BCZdBALAEhj4DJJIWOkmdIqKeP2lv2btvD5Vt22t3bfhHehgQwJCjcGNfsjzqevbNSrLcsZ8wYMC/hYG47wRG0MBp0NFS+WKzN8ZsWlvMuHY3LYjKxMkyonZRzkbVBitgvavDgXFXBKA7TukHKgCllybhhmgafjVHxziVu8bZt2BZyplYAjxNzO22nv8VaJv6BVMKbNOtSIrRAAChRgUcUmAUUginCKSRQAmKMUIpQFAAFClAUKAAaTS6KK9XwYcsiwAUFQ0taUKPChyyXIQFowDTkUYFLwocsWsQENAoelPqKkjBXIkqVHVoQemaJ9Kl9HDlkSzNFdkPSpNjChtSSPEBy2jf36RT/0Yc7ifM/gKBtqP9z4K1LxIcsldQQrtkaZdetMiyelWXdp/EHqpo1w4OzqfUj8RT8THyx+QVotHpQ7k9KtjgXAnLI6r4h6xtUVqS6WALO2RDaPSkG2elTKIiq8OH6PvMhZTRhTUlqRFPw4csrusaoUsihR4cOWPuCaAoxQFdwWLUUoUhak2LM6kwo57knovU/hSbohsK1aLGACZ6a++eg89qkratL7bZz9lDC/8rhB+QPvpm5iNCqjKvSdT/UeZ+VN2gzGFBPkNah2/ZDVkg4sj2AE/pGv3jJPxpgvJk6nrzp1cKB7TKPIHMf8At/WjyW+jt8FHyk/OlshOkRyxp/D3AN+oO3xqVgLavcS3kRQzASczRO51aKuu2GGsYVAbSoSROoGwHOuTN1uPHkjifuRSTatIy7XCen9kn86dw1snWKm4C6bkQiax9Qc9elaQ4JLaSVWekR+BraWVLYynOjJXbhB0kEbHp60X0wn2wH/qGv3hrVnjLdon2CPNX/JwfxqvODRtrkf1gr81JHzoUlW4qvcSbdtvYJQ/ZeI9HH/lFMXEKmCCD/evupzEYG4gll8PJlMp94afhR4fFaZXGZOn1l81bl7tqtcrcLr0RyKSVqTesxqpzKdjEejDkaZiq1FWNFaFORQosdkcUIpYWhlrSy9Q7h7QMkmFGpI/AcpPKjuOWIAHkFGvuAHX8TS8ScoyfZ9rzbnI8tv/ALSQxUR9YjU/YBHsjzIMk+YHWs7EGLSr7Xib7IOg/qYfgPlTltixC6BSfZXQRz05nzNVuKxBWERcznZRsJPOPjFXOH7HY507xrwTScoAHzY1z5OphF17LUJPf0iKBrpUi3hywJ5CNPxqku4m9h3KXPGF3BEH41pcA4dAyc+XNf6h9ry9acc0ZejNwaGWshRzzz93pr1qh47ib7P/AKlzOIgCIjykVrreF8qct8BW4wzDnWWSMG9TW6HF0WP7OOH98AzIoCjVo1I+qIrQ8ewIEkbbVednMHbtWgiCI3qP2iYR59K8FdbKfU6TR4LjqOc8RwRBqoupFaDjd4Kr3XMKonfU+Qnck6AVnuCcAbiFwtfcLbG1vNl90gg5vf8ADSval1Kgtwx4JTTr4N2eK2kjJeQOZBhxt0OsEfGn2ZLntAIftoND/Ug09V+Bqx7X9kcJYteFQp9wPwKx8wawWDxTWTpJTmv5joaePPe7RLxJejSHNaMESrbifCw8jyj5H4Udy2AdDIIkE7x5jkRtTlh1KidUaDpykaMB1A5c/wAG1tMrNaI81jqBOnUFfwFdOv6TpEFKFP2kzbUKrULQRAlPYW34gSNF8Xw1HzikBqdW54X/AKfxIq22JNEVbRa4gOozAt5gat8h86BnK1x+hdvxNHgsV4weh26jYj4UviiHubyiSe7ce/wHUVjkk0m/wpO2kK7GoCwvMpZiZ8JAbXkMwgxpp5V0h7uKv2c9mBaMj/WWGMfZNv6vmRXM+zGOm0F8O0arI25Hr5Gtknak2sKLBttmAyBgPAQNAQRz8q+XeXK2u2rbf/D6PqOnXZi16MNxO1ldyxU3AfZmcs/WM7jePP3UOzOIK38k6XJ35sJM++AflUzFW2AZ3yAuRAdZ25zuPdVdgrrLiLTZEMNIYBo2OzBss17b/lWeHOKUqOmYTh7ROXSrPDYEyPCRVnwC672lORdvtEfiDVvtugnyI/OK4snVyMFv8K7DXculR8Zazmq/tJxSyq3gywybCddgR+NU37M+MtdF1LkuEuAJqJEqMyyeQO3vrysMW5TzeqdHo9xNaUvhTftJQr9HtcnuFj55RoPiwPpTnDcTctqlpGWSQMr21dfEQo6QOf51J/bRh2W1hcQEgJdKtzjOsyeUStZnh+LVlkanQyPqncEqNQNOWldMsrk7PS/x0IzxSj9Nl2r7OWLdknO5ZhOjELPlbBygeQrluJtzBCkT1M6+R6VqeKcZvYhhae6jKBOZdfSJ9ryrPcRyqYXRV0kmvQ6KE44v9rtnldTjUWWnZAl0NvfKxifOD+Zq7xnDX8JHtLsfcZX8aznYy/DkyYJ9DsPyrf32B1mtH1FbHM4szmGwZDkDQTIHQHWPnQqbeaHBB5UKXlUPSzKHHWx9akjiaEOoEnu2I88gzR8Aaxb4s0vC8QZHVwJysDHUc19RI9a1n1tlLGi9w3Fd4AGvOrHD8VD+BnCtspmAw+yenkT7jyrI4+z3d1lBJX2kO8owlDPuj1BpCXCa5/JbG8aLDC404e6yEEAEiGEEeRB9dDV6/aDRArRDBoB0Mfyt+RrNXsTmAW5LxoD9ZR0B5jyPyqMMP9hp8tm+HOuStMtSO6HWTjj7b9Gq4rxtT4tPgR+tQeE8Qyv30xyAHTQk/wD2qBbYB1BnzEfKKteH4ckgnYVpLNKSo55VJ2dZ7J9qbjRmjKuw2P6H5Vd8R4wzsMrjOwyhZiCTpXNuG3womakXeNFfGDqpBHpXBki29joxwhFFx+0DhDZFe8ym4BuAddCdNZis/wBkca9hlYsACfZX2oOuYgbVW9oe2jYnRlywCogzvzqZwXGo6iBqBHp0NaaZRwJSdsXT1KTUjp/H7tvGYRrVyGDjkemoM9QQD7xXDcQ93CXCjSQpOVhzHvG3xrc2OIG37J8J5Hb3VC4thlvDMvqDWWLb2XKMsUrxsybcZk59Dy1113kRBnzpk4q5dOnhHNvF8pOpqe/DSu9sATz2nqBUjC8NLHp/fSu1ZGlVnPOTm/6LnspbEjSAP7+Nbg31JgREVksFba2sLDe+p+HxCz4gVgSekVi5WLTsS+IuuahVBjMUS0hpkz8aKm2KjmhoUCaI1qySyw47+3k3u2gTb6untNb8ysFh72HSIC3KQrkEMCQQZBBIII2II2POrPIMRLLAvQS1sCBcj69sfb01TnuOlKwIls08tuajpUi3cigaJ+EYrvBHRgGHwNWa8RtbNh0n7Vu49o+gOdCf+IqiF2l2etA9jRXcVhQsBr6+8W7nzBX8Kg3mw5H/AFDgHmbJ/JqgXsFdaYRjHofyrpn7MeA8P+jG9iwr3mBPj1CKdlUdY3856UlGyXPScw+hWTqL5Ov8Jh8ias+FCzb0L3T7raj5lvyqR2xwtlLzGwAqk7Dbygdaoy0wetLJFxdM3w6ZR1I0l3iVkaqjH+t9Puoq/jTacfYbBFHRV1+Jk1n3YjSaZZoqDSTNpa4glweLfr+tOGyRqNRWNwmMyma0XD+KyAOvKlRk2iyTFEU5jMblXKTr9bqOi/rRXMq6/X6fYnr/ADDpy/DOY5zMb+fWqUTIkm4GadqFQbbEUVOh2zNUDV3/AJbb+Iv3T+tF/ltv4i/A/rWuiXBNoo6C7yD/AH5Vef5bf+Iv3T+tBezb/wARfgf1pduXAWhn6cl3S/IflfQSxjYXU+uP5h4vfSb/AA51GcRct7d5bOZBzhuaN5NFSG7OuP8AcU+ho8Nw+7abMl3I3VZHoeo8jRolwFlcripCHSrhcOr/AL5LbN9tJtXPeYlG9V9acbgFs+xfI8ria/eQ6/Cn25cBZm3MSNp38/fVngONvbXINtoHTeDUtuyjna/ZP/LL8nIon7KXhrmRo6FT/wCVVFST2JaTRUY/iLXXJ28vlSrLyCPWptnszdJ1Kj3so/E1MXs0w3vWh/yB/wDzNRKEpbmuOSjsVFzYeVR7hrSW+AoJz3yfK3bj/ucx6waBwuT90ttSPrvN250mW8K+iiksTKlNMosLw92Gcxbt/wAS54VJ6IN3Pks1It8RS1IsSTzuvox8rag+BfOSxnltR4vh9x2zXL2dupk6dPIeQimBwlvtfKn25cGdklOJN19fyqbh3zb1Cs8Fb7Y+FWFrhxH1qNEuBWJv2o2oVIGDb7QoUaJcCJIoGhQrqsgAoChRqKAFCkvZBpwCgKBohPhudIGYbVZUkoKQFeL7Deg2Jnl8qmtaFNthxSKRCS7BmlNi6lHCii+iCmhkU4gnai8RqeuHApfd0CIFvCnnUlLIFP5KBWgBqKUtHloAUwFChRgUKQDRpzC2GuOEXdj8BuSfIAEn3U1mo0YjUEg9QYI9RSsg0mPwSsjolu4O4y5GYAd4pTO4ACggwM+paJjSYLXCOz4upaYu3iuMrgZcyKbbPZfUH2ijD4RVKuIfXxvrv4jr76RU0x2jSL2ZLIrWnOqWc2eAua9k9mB4QpuayTtR2Oydxp/1EEOqRBJOcWoJEafvRpodDWcn+/1+NKk0U+R2i9HZm5rNxRFvvCYYiIBGoEHc7cwRFQeLcLfDlMxnvELCNCIYgggiRtPmDUbDYq5bko7KSIOUkeY+ZJpr+/T3U979iYk0RpyiYVVlIteyeEtXsSlu7GXK5AJgMyoSi/ET5xFXPG+HW/o6XWVVuHELbUKFXPbOYmVVV2hdY585rHZiNtwZG/LXlTuIxdy4Q1y47kaDOxbTpqdtvhWbg3K0xnWz2QwswMGpHI9+RPpNGOyOFj/okmdu/MRG+lcmGMf+Xl9UcqQcW38v3RWfalyFo7UvYrh8fuF++3/tQ/yTw7+Av32/9q4t9Lfy+6KI4ttdtf5R+lHalyK0dg4h2PwKqMmHU+IAwzGAdzv7vIVzXtbhbdu8q27Ztg2wSpDAzLCSG1ExNU9y+zbx6AD8KbE1cINPdg2OA0VBaFakkc0BQoUiRSUoUKFIBdKFChQNB0KFCgYdEaKhQNCTRUdCmgBRChQpgHSTQoUCCFLFChQNihQoUKlgj//Z) |