This page has moved to ../../pub/treeautomata.html.