Action language
کمپیوٹر سائنس میں، عمل کی زبان ریاستی منتقلی کے نظام کی وضاحت کے لیے ایک زبان ہے، اور عام طور پر دنیا پر اعمال کے اثرات کے رسمی نمونے بنانے کے لیے استعمال ہوتی ہے۔ عملی زبانیں عام طور پر مصنوعی ذہانت اور روبوٹکس ڈومینز میں استعمال ہوتی ہیں، جہاں وہ بیان کرتی ہیں کہ اعمال وقت کے ساتھ نظام کی حالتوں کو کس طرح متاثر کرتے ہیں، اور خودکار منصوبہ بندی کے لیے استعمال کی جا سکتی ہیں۔ ایکشن زبانیں دو کلاسوں میں آتی ہیں: ایکشن کی تفصیل کی زبانیں اور ایکشن استفسار کی زبانیں۔ سابقہ کی مثالوں میں ایس ٹی آر آئی پی ایس، پی ڈی ڈی ایل، زبان اے (ایس ٹی آر آئی پی ایس کی عمومی کاری ؛ پیڈنالٹ کے اے ڈی ایل کا تجویز کردہ حصہ)، زبان بی (بالواسطہ اثرات کو شامل کرنے، جامد اور متحرک قوانین کو ممتاز کرنے والی اے کی توسیع) اور زبان سی (جو بالواسطہ اثرات کو بھی شامل کرتی ہے، اور یہ نہیں مانتی کہ ہر روانی خود بخود "انیرشیل" ہے) شامل ہیں۔ ایکشن سوال زبانیں پی، کیو اور آر بھی ہیں۔ سیٹ پروگراموں کا جواب دینے کے لیے ایکشن زبانوں، اور خاص طور پر ایکشن زبان سی کو تبدیل کرنے کے لیے کئی مختلف الگورتھم موجود ہیں۔ چونکہ جدید جوابی سیٹ حل کرنے والے بہت تیزی سے اطمینان کا پتہ لگانے کے لیے بولین ایس اے ٹی الگورتھم کا استعمال کرتے ہیں، اس سے یہ ظاہر ہوتا ہے کہ عملی زبانیں بھی بولین ایس اے ٹی حل کرنے کے شعبے میں ہونے والی پیش رفت سے لطف اندوز ہو سکتی ہیں۔ رسمی تعریف تمام عملی زبانیں روانی کے ایک سیٹ F کے ساتھ ریاستی منتقلی کے نظام کی تعریف کی تکمیل کرتی ہیں، اقدار کا ایک سیٹ V جو روانی لے سکتا ہے، اور S × F سے V کی نقشہ سازی کرنے والا فنکشن، جہاں S ریاستی منتقلی کے نظام کی حالتوں کا مجموعہ ہے۔ لکیری عارضی منطق GOLOG فلوینٹ کیلکولس صورتحال کیلکولس ایونٹ کیلکولس حوالہ جات پروگرامنگ زبان کی درجہ بندی خودکار منصوبہ بندی اور شیڈولنگ ٹرانزیشن سسٹم بھی دیکھیں۔