Para que las maquinas puedan funcionar correctamente es necesario que la cadena sea ingresada de cierta manera y es diferente para cada set de maquinas por lo que se debera tener cuidado al ingresar la cadena y verificar que este en el formato correcto.
El formato de entrada para estas maquinas de Turing es el siguiente <simbolo +/-/*> <=> (los simbolos de <,> son solo para hacer enfasis en como se escribe la cadena estos no deben de ser agregados en la cadena que se va a probar.).
La maquina como la de Suma esta diseñanado para recibir varios operando (eg. 1+1+1+1+1=) y el de resta y multiplicacion solo estan diseñados para recibir dos operandos (eg. 111-111= / 111*111= ) cabe mencionar que es necesario para el correcto funcionamiento de las maquinas de Turing que la cadena no debe incluir espacios o saltos de linea y debe terminar con el simbolo "=".
Para las siguientes dos maquinas el formato de entrada debe contener: (mas no es necesario que existan todos los elementos al mismo tiempo) a, b o c en la cantidad deseada, pero no otros caracters aparte de estos de lo contrario las maquinas no funcionaran.
Al codigo se adjunta un archivo Word con las tablas, definiciones formales y diagramas de cada una de las maquinas en el proyecto.
In order for the machines to work properly it is necessary that the string be entered in a certain way and it is different for each set of machines, so care should be taken when entering the string and verify that it is in the correct format.
The input format for these Turing machines is the following <symbol + / - / *> <=> (the symbols of <,> are only to emphasize how the string is written they should not be added in the chain to be tested.).
The machine like the addition machine is designed to receive several operands (eg 1 + 1 + 1 + 1 + 1 =) and the subtraction and multiplication machine are only designed to receive two operands (eg 111-111 = / 111 * 111 =) It is necessary to mention that it is necessary for the correct functioning of the Turing machines that the chain must not include spaces or line breaks and must end with the symbol "=".
For the next two machines the input format must contain: (but it is not necessary that all the elements exist at the same time) a, b or c in the desired amount, but not other characters apart from these otherwise the machines will not work.
A Word file is attached to the code with the tables, formal definitions and diagrams of each of the machines in the project.