sentence1: we assume the reader to be familiar with the basic theories of formal languages , finite automata and supervisory control .
sentence2: we assume that the reader is familiar with concepts and operations in supervisory control theory .