In computability theory in computer science, it is common to consider formal languages.
طبقاً للنظرية الحاسوبية في علوم الكومبيوتر ، من الشائع أن تراعي اللغات الرسمية.