H
ereditarily
F
inite.
F
inite_
A
utomata
HTML Presentation