Uma função é inversa se ela é tanto sobrejetora quanto injetora.

Uma função bijetora de uma função f é um função f que desfaz o efeito de f.

Uma função é injetora se cada elemento no contradomínio é mapeado por pelo menos um elemento no domínio.

Uma função é sobrejetora se cada elemento no contradomínio é mapeado por no máximo um elemento no domínio.

Uma função composta é a aplicação de uma função sobre outra função, ou seja, o resultado de aplicar uma função ao resultado de outra função.

Uma relação R de um conjunto A é simétrica se, para todo par de elementos (a,b) e (b,c) em R, o par (a,c) também está em R.

Uma relação R de um conjunto A é antissimétrica se, para todos pares (a,b) e (b,a) em R, onde a ≠ b, então não existe (b,a) em R.

Uma relação R de um conjunto A é transitiva se, para todo par (a,b) em R, o par (b,a) também está em R.

N.D.A.

É uma quíntupla composta por Q para representar o conjunto finito dos símbolos de entrada, Σ para representar o conjunto finito de estados, ∂ para representar a função de transição, q0 para representar o estado inicial e F para representar o conjunto de estados de aceitação.

1. É uma quíntupla composta por Q para representar o conjunto finito dos símbolos de entrada, Σ para representar o conjunto finito de estados, ∂ para representar a função de transição, q0 para representar o estado inicial e F para representar o conjunto de estados de aceitação.

É uma quíntupla composta por Q para representar o conjunto finito de estados, Σ para representar o conjunto finito dos símbolos de entrada, ∂ para representar a função de transição, q0 para representar o estado inicial e F para representar o conjunto de estados de aceitação.

É uma quíntupla composta por Q para representar o conjunto dos estados de aceitação, Σ para representar o conjunto finito de símbolos de entrada, ∂ para representar a função de transição, q0 para representar o estado inicial e F para representar o conjunto finito de estados.

É uma quíntupla composta por Q para representar o conjunto de estados de aceitação, Σ para representar o conjunto finito dos símbolos de entrada, ∂ para representar  o estado inicial , q0 para representar a função de transição e F para representar o conjunto finito de estados.

1. A fita reflete o estado corrente da máquina e possui uma unidade de leitura.

A função de transição comanda as leituras, e consequentemente, define o estado da máquina.

A unidade de controle é um dispositivo de saída que possui a informação que foi processada.

Somente a fita e a unidade de controle são partes importantes de um autômato finito determinístico.

A fita, a unidade de controle e a função de transição não são partes importantes de um autômato finito determinístico.

O domínio representa os valores possíveis da variável independente.

O contradomínio representa os valores possíveis da variável dependente.

O conjunto imagem representa o conjunto de todos os valores que a função pode assumir.

TODAS

Apresentamos por meio de uma lista de elementos do conjunto ou um diagrama.

Apresentamos por meio de uma lista de elementos ou da relação de pertinência.

Apresentamos por meio de um diagrama de elementos ou da relação de diferença.

Apresentamos por meio de um diagrama de elementos ou da relação de interseção.

Apresentamos por meio das relações de pertinência, subconjunto, união e interseção.

O fecho reflexivo inclui o par (b,a) para cada par (a,b) presente na relação.

O fecho simétrico inclui todos os pares (a,a) onde a pertence ao conjunto.

O fecho transitivo inclui o par (a,c) sempre que os pares (a,b) e (b,c) estiverem na relação.

Os fechos reflexivo, simétrico e transitivo incluem todos os pares possíveis observando a relação entre os conjuntos. 

Os fechos reflexivo, simétrico e transitivo incluem apenas os pares (a,b) e (a,c) sempre que o par (b,c) pertencer ao conjunto.

Conjunto finito e não vazio de símbolos

Conjunto infinito de símbolos

Conjunto de sequência (ou cadeia) finita de símbolos

N.D.A.

Sequência finita de símbolos escolhidos a partir de um alfabeto

Sequência infinita de símbolos escolhidos a partir de um alfabeto

Sequência infinita de símbolos que não possuem uma quantidade de posições

N.D.A.

O comprimento é o número de símbolos que compõe uma palavra

Possui prefixo, sufixo e subpalavra

A concatenação de palavras é definida por uma operação binária

N.D.A.

Conjunto finito de palavras de comprimento finito formadas pela concatenação de elementos de uma alfabeto finito e não-vazio

Conjunto infinito de palavras de comprimento finito formadas pela concatenação de elementos de uma alfabeto finito e não-vazio

Conjunto finito de palavras de comprimento finito formadas pela concatenação de elementos de uma alfabeto infinito e não-vazio

Conjunto infinito de palavras de comprimento infinito formadas pela concatenação de elementos de uma alfabeto infinito e não-vazio

Reconhecedor de determinados padrões

Reconhecedor de estados

Máquinas abstratas que resolvem problemas computacionais

N.D.A.

Transições bem-definidas

Função de transição que leva a vários estados

Sequência de estados é única para cada cadeia (palavra)

N.D.A.

Um autômato finito é uma máquina de estados que aceita apenas linguagens regulares

Um autômato finito é uma linguagem natural com regras bem definidas

Um autômato finito é uma representação gráfica de um algoritmo

Um autômato finito é uma linguagem formal que não pode ser reconhecida por computadores