Language computability and formal language theory is a division of computer engineering, of mathematical reasoning, as well as one of the primary principles of computation. Language computability and formal language theory originates from speculations on the boundaries of computer systems. This book offers an introductio to this subject.