Text this: otomata dan bahasa-bahasa formal.