القائمة الرئيسية
القائمة الرئيسية
انقل للشريط الجانبي
أخف
تصفح
الصفحة الرئيسية
أحدث التغييرات
الصفحات الخاصّة
رفع ملف
تصفح
المواضيع
أبجدي
دليل الأسلوب
صفحة عشوائية
مشاريع شقيقة
معرفة_المصادر
معرفة_الأخبار
المشاركة والمساعدة
بوابة المجتمع
مساعدة
الميدان
المعرفة
بحث
بحث
إنشاء حساب
دخول
أدوات شخصية
إنشاء حساب
دخول
قالب
:
لغة ونحو صوريين
قالب
ناقش هذه الصفحة
العربية
اقرأ
عرض المصدر
تاريخ
أدوات
أدوات
انقل للشريط الجانبي
أخف
إجراءات
اقرأ
عرض المصدر
تاريخ
عام
ماذا يرتبط هنا؟
تغييرات ذات علاقة
الصفحات الخاصّة
نسخة للطباعة
وصلة دائمة
معلومات عن هذه الصفحة
v
t
e
نظرية الآلة المجردة
:
اللغات الصورية
والقواعد الصورية
v
t
e
Chomsky hierarchy
Type-0
—
Type-1
—
—
Type-2
—
—
Type-3
—
v
t
e
Grammars
Unrestricted
(no common name)
Context-sensitive
Indexed
Tree-adjoining
etc.
Context-free
Deterministic context-free
Visibly pushdown
Regular
—
v
t
e
Languages
Recursively enumerable
Recursive
Context-sensitive
Indexed
Mildly context-sensitive
Context-free
Deterministic context-free
Visibly pushdown
Regular
Star-free
v
t
e
Minimal
automaton
Turing machine
Decider
Linear-bounded
Nested stack
Embedded pushdown
Nondeterministic pushdown
Deterministic pushdown
Visibly pushdown
Finite
Counter-free (with aperiodic finite monoid)
Each category of languages is a
proper subset
of the category directly above it.
-
Any automaton and any grammar in each category has an equivalent automaton or grammar in the category directly above it.
تصنيفان
:
نظرية الآلة المجردة
قوالب حوسبة
تبديل عرض المحتوى المحدود