en	Missing transition for
pt-br	Transição ausente para

en	Multiple transitions for
pt-br	Múltiplas transições para

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

en	Unknown error
pt-br	Erro desconhecido

en	Choose a move:
pt-br	Escolha um movimento:

en	push
pt-br	empurrar

en	pop

en	empty
pt-br	vazio

en	none
pt-br	nenhum

en	Stack
pt-br	Pilha

en	Language:
pt-br	Idioma:

en	Check Automaton
pt-br	Autômato de verificação

en	Definition
pt-br	Definição

en	Table
pt-br	Tabela

en	Alphabet:
pt-br	Alfabeto:

en	States:
pt-br	Estados:

en	Transitions:
pt-br	Transições:

en	Initial State:
pt-br	Estado inicial:

en	Final States:
pt-br	Estados finais:

en	Add Sinkstate
pt-br	Adicionar Sinkstate

en	Sink
pt-br	Pia

en	Automaton Type
pt-br	Tipo de autômato

en	DFA

en	NFA

en	PDA

en	Please fix the following errors to run the simulation:
pt-br	Corrija os seguintes erros para executar a simulação:

en	No valid path found. The automaton rejects the word .
pt-br	Nenhum caminho válido foi encontrado. O autômato rejeita a palavra .

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

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

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

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

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

en	Manual

en	Animate
pt-br	Animar

en	Step by Step
pt-br	Passo a passo

en	Check
pt-br	Verificar

en	Back
pt-br	Voltar

en	Next
pt-br	Próximo

en	Reset
pt-br	Redefinir

en	Pause
pt-br	Pausa

en	Play
pt-br	Jogar

en	Stop
pt-br	Parar

en	Settings
pt-br	Configurações

en	Editing
pt-br	Edição

en	Add
pt-br	Adicionar

en	Delete
pt-br	Excluir

en	Change
pt-br	Mudança

en	Node
pt-br	Nó

en	Edge
pt-br	Borda

en	Automaton Types
pt-br	Tipos de autômatos

en	Transformations
pt-br	Transformações

en	Sinkstate
pt-br	Estado da pia

en	View
pt-br	Ver

en	Show Help
pt-br	Mostrar ajuda

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

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

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

en	Automation
pt-br	Automação

en	Test Language
pt-br	Idioma do teste

en	Test Words
pt-br	Palavras de teste

en	Predefined Alphabet
pt-br	Alfabeto predefinido

en	Advanced
pt-br	Avançado

en	Verbose
pt-br	Verboso

en	Mode Switch
pt-br	Interruptor de modo

en	Fullscreen
pt-br	Tela cheia

en	Type
pt-br	Tipo

en	Help
pt-br	Ajuda

en	Test Cases
pt-br	Casos de teste

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

en	Add Transition by drag and drop
pt-br	Adicionar Transição arrastando e soltando

en	Move the elements by drag and drop
pt-br	Mova os elementos arrastando e soltando

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

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

en	Input word
pt-br	Palavra de entrada

en	Simulation Controls
pt-br	Controles de simulação

en	Edit
pt-br	Editar

en	Simulate
pt-br	Simular

en	Label
pt-br	Rótulo

en	Initial
pt-br	Inicial

en	Final

en	Symbol
pt-br	Símbolo

en	If
pt-br	Se

en	Stack Actions
pt-br	Ações de pilha

en	Push
pt-br	Empurrar

en	Pop

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

en	Keep
pt-br	Manter

en	Add symbol
pt-br	Adicionar símbolo

en	Position
pt-br	Posição

en	Bend
pt-br	Dobra

en	Allowed modes
pt-br	Modos permitidos

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

en	Add edge (Ctrl+E)
pt-br	Adicionar borda (Ctrl+E)

en	Switch mode (Ctrl+M)
pt-br	Modo de alternância (Ctrl+M)

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

en	Multiple initial states defined
pt-br	Vários estados iniciais definidos

en	Menu