تلفظ بین المللی : /zabˈɑn bɑzɡˈaʃti/ تلفظ : [zab'An bAzg'aSti]
دانشنامه عمومی
در ریاضیات، منطق و علم کامپیوتر، یک زبان رسمی (که مجموعه ای از یک سری نماد محدود برگرفته شده از یک الفبای ثابت است) بازگشتی است، اگر زیر مجموعهٔ بازگشتی از مجموعهٔ تمام ترتیب های محدود ممکن از الفبای آن زبان باشد. به عبارت دیگر، یک زبان رسمی زمانی بازگشتی نامیده می شود که در آنجا یک ماشین تورینگ کلی وجود داشته باشد (ماشین تورینگی که برای هر ورودی ای توقف می کند) که هر زمان ترتیب محدودی از نمادها ب...
