These arose in theoretical computer science, in the subfields of automata theory (models of computation) and the description and classification of formal languages.
نشأت هذه في علم الكمبيوتر النظري ، في الحقول الفرعية لنظرية الأوتوماتا (نماذج الحساب) ووصف وتصنيف اللغات الرسمية.