User:Worch/userboxes/FormalLanguages