Ficheiro:An automat accepting the language a(bc)*d.svg

Imagem numa resolução maior(ficheiro SVG, de 170 × 100 píxeis, tamanho: 8 kB)

Descrição

The image shows a finite state automaton (FSA).

The FSA accepts the string: abcd. Since this string has a length which is at least as large as the number of states, which is four, the pigeonhole principle indicates that there must be at least one repeated state among the start state and the next four visited states. In this example, only q1 is a repeated state. Since the substring bc takes the machine through transitions that start at state q1 and end at state q1, that portion could be repeated and the FSA would still accept, giving the string abcbcd. Alternatively, the bc portion could be removed and the FSA would still accept giving the string ad. In terms of the pumping lemma, the string abcd is broken into an x portion a, a y portion bc and a z portion d.
Data (UTC)
Origem
Autor


Esta é uma imagem retocada, o que significa que a versão original foi alterada digitalmente. Modificações: Vectorized. O original pode ser visto aqui: An automat accepting the language a(bc)*d.png. Modificações feitas por Jkwchui.

Eu, titular dos direitos de autor desta obra, publico-a com as seguintes licenças:
w:pt:Creative Commons
atribuição partilha nos termos da mesma licença
A utilização deste ficheiro é regulada nos termos da licença Creative Commons - Atribuição-CompartilhaIgual 3.0 Não Adaptada.
Pode:
  • partilhar – copiar, distribuir e transmitir a obra
  • recombinar – criar obras derivadas
De acordo com as seguintes condições:
  • atribuição – Tem de fazer a devida atribuição da autoria, fornecer uma hiperligação para a licença e indicar se foram feitas alterações. Pode fazê-lo de qualquer forma razoável, mas não de forma a sugerir que o licenciador o apoia ou subscreve o seu uso da obra.
  • partilha nos termos da mesma licença – Se remisturar, transformar ou ampliar o conteúdo, tem de distribuir as suas contribuições com a mesma licença ou uma licença compatível com a original.
Esta marca de licenciamento foi adicionada a este ficheiro durante a atualização da licença GFDL.
GNU head É concedida permissão para copiar, distribuir e/ou modificar este documento nos termos da Licença de Documentação Livre GNU, versão 1.2 ou qualquer versão posterior publicada pela Free Software Foundation; sem Secções Invariantes, sem textos de Capa e sem textos de Contra-Capa. É incluída uma cópia da licença na secção intitulada GNU Free Documentation License.
Pode escolher a licença que quiser.

Registo de carregamento original

This image is a derivative work of the following images:

Carregada com derivativeFX

Legendas

Adicione uma explicação de uma linha do que este ficheiro representa

Elementos retratados neste ficheiro

retrata

image/svg+xml

21e6a454b9debf0bf46f2cf7da5c8bf49b500a2e

100 pixel

170 pixel

Histórico do ficheiro

Clique uma data e hora para ver o ficheiro tal como ele se encontrava nessa altura.

Data e horaMiniaturaDimensõesUtilizadorComentário
atual18h22min de 30 de janeiro de 2011Miniatura da versão das 18h22min de 30 de janeiro de 2011170 × 100 (8 kB)Jkwchui{{Information |Description=The image shows a finite state automaton (FSA). The FSA accepts the string: '''abcd'''. Since this string has a length which is at least as large as the number of states, which is four, the pigeonhole principle indicates

A seguinte página usa este ficheiro:

Utilização global do ficheiro

Metadados