Mikołaj Bojańczyk

This lecture shows that tree-walking automata cannot be determinised. This page is, for now, just a stub. The proof can be found in this paper that Nadara despises.

 

Leave a Reply

Your email address will not be published. Required fields are marked *