Skip to content
Ejercicio de Autómatas Finitos No Determinísticos en Prolog
Prolog
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
images
.gitignore
.travis.yml
README.md
automatas.pl
test_automatas.pl

README.md

Autómatas finitos no determinísticos

Build Status

Queremos resolver mediante un AFN este ejemplo

M = ({1, 2, 3, 4}, {a, b}, δ, 1, {2}), donde δ es definido como

  • δ (1, a) = 2,
  • δ (1, a) = 3,
  • δ (1, a) = 4,
  • δ (3, b) = 1,
  • δ (3, b) = 2,
  • δ (4, b) = 2.

image

Por qué resolver un AFN (NFA) es interesante en Prolog

Porque en un autómata finito no-determinístico

  • dado un estado podría haber múltiples transiciones posibles (y todas válidas)
  • cada estado siguiente puede elegirse al azar y en paralelo
  • y eso determina que la palabra puede parsear ok por más de un camino
You can’t perform that action at this time.