en	Missing transition for
pt-pt	Transição em falta para

en	Multiple transitions for
pt-pt	Transições múltiplas para

en	Transition with empty symbol
pt-pt	Transição com símbolo vazio

en	Unknown error
pt-pt	Erro desconhecido

en	Choose a move:
pt-pt	Escolher um movimento:

en	push
pt-pt	empurrar

en	pop

en	empty
pt-pt	vazio

en	none
pt-pt	nenhum

en	Stack
pt-pt	Pilha

en	Language:
pt-pt	Língua:

en	Check Automaton
pt-pt	Verificar autómato

en	Definition
pt-pt	Definição

en	Table
pt-pt	Tabela

en	Alphabet:
pt-pt	Alfabeto:

en	States:
pt-pt	Estados:

en	Transitions:
pt-pt	Transições:

en	Initial State:
pt-pt	Estado inicial:

en	Final States:
pt-pt	Estados finais:

en	Add Sinkstate
pt-pt	Adicionar Sinkstate

en	Sink
pt-pt	lava-loiça

en	Automaton Type
pt-pt	Tipo de autómato

en	DFA

en	NFA

en	PDA

en	Please fix the following errors to run the simulation:
pt-pt	Por favor, corrija os seguintes erros para executar a simulação:

en	No valid path found. The automaton rejects the word .
pt-pt	Não foi encontrado um caminho válido. O autómato rejeita a palavra .

en	The automaton accepts the word .
pt-pt	O autómato aceita a palavra .

en	The automaton rejects the word .
pt-pt	O autómato rejeita a palavra .

en	No further moves possible. Try a different path.
pt-pt	Não há mais movimentos possíveis. Tenta um caminho diferente.

en	Simulation paused.
pt-pt	A simulação fez uma pausa.

en	Input Word e.g. aaabbb, step;step;stop
pt-pt	Palavra de entrada, por exemplo, aaabbb, passo; passo; paragem

en	Manual

en	Animate
pt-pt	Animar

en	Step by Step
pt-pt	Passo a passo

en	Check
pt-pt	Verificar

en	Back
pt-pt	Voltar

en	Next
pt-pt	Seguinte

en	Reset
pt-pt	Reiniciar

en	Pause
pt-pt	Pausa

en	Play
pt-pt	Jogar

en	Stop
pt-pt	Parar

en	Settings
pt-pt	Definições

en	Editing
pt-pt	Edição

en	Add
pt-pt	Adicionar

en	Delete
pt-pt	Eliminar

en	Change
pt-pt	Alterar

en	Node
pt-pt	Nó

en	Edge
pt-pt	Borda

en	Automaton Types
pt-pt	Tipos de autómatos

en	Transformations
pt-pt	Transformações

en	Sinkstate
pt-pt	Estado do sumidouro

en	View
pt-pt	Ver

en	Show Help
pt-pt	Mostrar ajuda

en	Show Formal Definition
pt-pt	Mostrar definição formal

en	Show Transitions Table
pt-pt	Mostrar tabela de transições

en	PDA Label Style
pt-pt	Estilo da etiqueta do PDA

en	Automation
pt-pt	Automatização

en	Test Language
pt-pt	Língua de teste

en	Test Words
pt-pt	Palavras de teste

en	Predefined Alphabet
pt-pt	Alfabeto predefinido

en	Advanced
pt-pt	Avançado

en	Verbose
pt-pt	Verboso

en	Mode Switch
pt-pt	Interruptor de modo

en	Fullscreen
pt-pt	Ecrã completo

en	Type
pt-pt	Tipo

en	Help
pt-pt	Ajuda

en	Test Cases
pt-pt	Casos de teste

en	Add Node by click
pt-pt	Adicionar nó por clique

en	Add Transition by drag and drop
pt-pt	Adicionar Transição por arrastar e largar

en	Move the elements by drag and drop
pt-pt	Deslocar os elementos por arrastamento e largada

en	To edit a node right click the node
pt-pt	Para editar um nó, clique com o botão direito do rato no nó

en	To edit a transition right click the transition
pt-pt	Para editar uma transição, clique com o botão direito do rato na transição

en	Input word
pt-pt	Palavra de entrada

en	Simulation Controls
pt-pt	Controlos de simulação

en	Edit
pt-pt	Editar

en	Simulate
pt-pt	Simular

en	Label
pt-pt	Etiqueta

en	Initial
pt-pt	Inicial

en	Final

en	Symbol
pt-pt	Símbolo

en	If
pt-pt	Se

en	Stack Actions
pt-pt	Acções da pilha

en	Push
pt-pt	Empurrar

en	Pop

en	Empty Check
pt-pt	Verificação de vazio

en	Keep
pt-pt	Manter

en	Add symbol
pt-pt	Adicionar símbolo

en	Position
pt-pt	Posição

en	Bend
pt-pt	Dobra

en	Allowed modes
pt-pt	Modos permitidos

en	Add node (Ctrl+Q)
pt-pt	Adicionar nó (Ctrl+Q)

en	Add edge (Ctrl+E)
pt-pt	Adicionar margem (Ctrl+E)

en	Switch mode (Ctrl+M)
pt-pt	Mudar de modo (Ctrl+M)

en	No initial state defined
pt-pt	Nenhum estado inicial definido

en	Multiple initial states defined
pt-pt	Definição de múltiplos estados iniciais

en	Menu