English  

كتب theoretical uses

اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.

عرض المزيد

استعمالات النظرية (معلومة)


تستعمل نظرية الآلات الذاتية التشغيل في علوم الحاسوب في حلول كثيرة منها:

  • تطوير برامج للتّحقق من صحة وسلامة الدّارات الرقمية.
  • المحلّل المفرداتي (التركيبي) لمعظم مصرّفات لغات البرمجة؛ أي المكوّن الذي يهتمّ بتحليل وقطع النصّ الدّاخل (مصدر البرنامج) إلى وحدات منطقية؛ كأسماء المتغيرات، والأعداد والتنقيط.
  • برامج لتحليل صفحات كثيرة من الإنترنت، والبحث عن كلمات معينة أو نماذج نصّية.
  • برامج للتحقّق من صحّة برامج أخرى، فيما يعرف بالتحقق من النماذج (Model Checking).
المصدر: wikipedia.org