العربية  

books theoretical uses

If you do not find what you're looking for, you can use more accurate words.

View more

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


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

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