(* Title: HOL/Lex/Scanner.thy ID: $Id$ Author: Tobias Nipkow Copyright 1998 TUM *) Scanner = Automata + RegExp2NAe