تتناول هذه الوثيقة نظرية التوتوماتا (automata theory) التي تركز على دراسة الآلات ذاتية الحركة وكيفية تعبيرها عن اللغات باستخدام رموز معينة. يتم تعريف آلة ذاتية الحركة المحددة (DFA) من خلال مجموعة من الحالات، ودالة انتقال، وحالة ابتدائية، ومجموعة من الحالات النهائية المقبولة. تُعتبر اللغات التي تقبلها آلات التوتوماتا المحددة لغات نمطية، بينما يوجد لغات أخرى لا يمكن التعبير عنها بهذه الآلات.
Related topics: