Skip to content

alibresco/static-dfa

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

15 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

static-dfa

A proof by implementation that static webpages can parse a Type-3 regular grammar

A fully function dfa engine using nothing but static webpages

Specify your dfa in a `.dfa` file in the root directory (see examples), and then send web queries with each token of your input seperated by `/`

For example, to determine whether or not the binary number `1001` is divisible by two send a query to https://alibresco.github.io/static-dfa/div2/1/0/0/1 and it will return `success` or `failure` accordingly.

FAQ

Can static webpages parse Context-Free Grammars? Are they Turing Complete?

Almost certainly not. It seems like there's no way to store anything equivalent to a stack (or two in the case of TMs) as you traverse the symlinks, but I'm always open to new ideas.

Should I make a static webpage in production to parse regular expressions?

What else would you use?