en	Missing transition for
es	Falta la transición para

en	Multiple transitions for
es	Múltiples transiciones para

en	Transition with empty symbol
es	Transición con símbolo vacío

en	Unknown error
es	Error desconocido

en	Choose a move:
es	Elige un movimiento:

en	push
es	pulse

en	pop

en	empty
es	vacío

en	none
es	ninguno

en	Stack
es	Pila

en	Language:
es	Idioma:

en	Check Automaton
es	Autómata de control

en	Definition
es	Definición

en	Table
es	Cuadro

en	Alphabet:
es	Alfabeto:

en	States:
es	Estados:

en	Transitions:
es	Transiciones:

en	Initial State:
es	Estado inicial:

en	Final States:
es	Estados finales:

en	Add Sinkstate
es	Añadir Sinkstate

en	Sink
es	Fregadero

en	Automaton Type
es	Tipo de autómata

en	DFA

en	NFA

en	PDA

en	Please fix the following errors to run the simulation:
es	Por favor, corrija los siguientes errores para ejecutar la simulación:

en	No valid path found. The automaton rejects the word .
es	No se ha encontrado ninguna ruta válida. El autómata rechaza la palabra .

en	The automaton accepts the word .
es	El autómata acepta la palabra .

en	The automaton rejects the word .
es	El autómata rechaza la palabra .

en	No further moves possible. Try a different path.
es	No hay más movimientos posibles. Intenta un camino diferente.

en	Simulation paused.
es	La simulación hizo una pausa.

en	Input Word e.g. aaabbb, step;step;stop
es	Palabra de entrada p. ej. aaabbb, step;step;stop

en	Manual

en	Animate
es	Animar

en	Step by Step
es	Paso a paso

en	Check
es	Consulte

en	Back
es	Volver

en	Next
es	Siguiente

en	Reset
es	Restablecer

en	Pause
es	Pausa

en	Play
es	Jugar

en	Stop

en	Settings
es	Ajustes

en	Editing
es	Edición de

en	Add
es	Añadir

en	Delete
es	Borrar

en	Change
es	Cambia

en	Node
es	Nodo

en	Edge
es	Borde

en	Automaton Types
es	Tipos de autómatas

en	Transformations
es	Transformaciones

en	Sinkstate

en	View
es	Ver

en	Show Help
es	Mostrar ayuda

en	Show Formal Definition
es	Mostrar definición formal

en	Show Transitions Table
es	Mostrar tabla de transiciones

en	PDA Label Style
es	Estilo de etiqueta PDA

en	Automation
es	Automatización

en	Test Language
es	Lengua de prueba

en	Test Words
es	Palabras de prueba

en	Predefined Alphabet
es	Alfabeto predefinido

en	Advanced
es	Avanzado

en	Verbose

en	Mode Switch
es	Interruptor de modo

en	Fullscreen
es	Pantalla completa

en	Type
es	Tipo

en	Help
es	Ayuda

en	Test Cases
es	Casos de prueba

en	Add Node by click
es	Añadir nodo con un clic

en	Add Transition by drag and drop
es	Añadir transición arrastrando y soltando

en	Move the elements by drag and drop
es	Mover los elementos arrastrando y soltando

en	To edit a node right click the node
es	Para editar un nodo, haga clic con el botón derecho en el nodo

en	To edit a transition right click the transition
es	Para editar una transición, haz clic en ella con el botón derecho del ratón

en	Input word
es	Palabra de entrada

en	Simulation Controls
es	Controles de simulación

en	Edit
es	Editar

en	Simulate
es	Simule

en	Label
es	Etiqueta

en	Initial
es	Inicial

en	Final

en	Symbol
es	Símbolo

en	If
es	Si

en	Stack Actions
es	Acciones de la pila

en	Push
es	Empuje

en	Pop

en	Empty Check
es	Cheque vacío

en	Keep
es	Visite

en	Add symbol
es	Añadir símbolo

en	Position
es	Posición

en	Bend
es	Curva

en	Allowed modes
es	Modos permitidos

en	Add node (Ctrl+Q)
es	Añadir nodo (Ctrl+Q)

en	Add edge (Ctrl+E)
es	Añadir borde (Ctrl+E)

en	Switch mode (Ctrl+M)
es	Cambiar de modo (Ctrl+M)

en	No initial state defined
es	No se ha definido el estado inicial

en	Multiple initial states defined
es	Definición de varios estados iniciales