Uma das características marcantes do modelo de desenvolvimento em espiral é o fato de ele ser cíclico, e não linear, como o modelo de desenvolvimento em cascata.

A ideia básica do modelo de desenvolvimento evolutivo consiste em dois estágios principais: análise e especificação de requisitos e otimização.

O modelo de desenvolvimento evolutivo se baseia no princípio de que a primeira versão de um sistema de software deve ser abordada como um sistema completo e deve ser utilizada por um longo período de tempo.

No desenvolvimento de software, o modelo em cascata é estruturado de tal maneira que as fases que compõem o desenvolvimento são interligadas. Nessa situação, o final de uma fase implica o início de outra.

Normalmente, os processos de desenvolvimento de software são complexos e envolvem muitos níveis de atividades interdependentes.

De uma maneira geral, na máquina de Turing, um programa é uma função que, dependendo do estado corrente da máquina e do símbolo lido, determina o símbolo a ser gravado, o sentido do movimento da cabeça de gravação e o novo estado da máquina.

A unidade de controle da máquina de Turing possui um número infinito de estados.

Um diagrama de estados pode representar graficamente a máquina de Turing. Esse diagrama se baseia no modelo matemático de grafos.

A fita da máquina de Turing é dividida em n quadros. Cada quadro pode estar em branco ou pode ser preenchido com um símbolo simples de um alfabeto finito.

Na classificação de nível 3, também conhecida como gramática linear, as linguagens geradas são regulares.