formal language
🌐 زبان رسمی
دیکشنری انگلیسی به فارسی
📌 زبانی که برای استفاده در موقعیتهایی طراحی شده است که زبان طبیعی برای آنها نامناسب است، مثلاً در ریاضیات، منطق یا برنامهنویسی کامپیوتر. نمادها و فرمولهای چنین زبانهایی در روابط نحوی و معنایی دقیقاً مشخصی با یکدیگر قرار دارند.
📌 منطق، یک سیستم لجستیکی که برای آن تفسیری ارائه میشود: با حساب دیفرانسیل و انتگرال رسمی از این جهت متمایز است که معناشناسی آن را قادر میسازد تا در مورد موضوعی خاص در نظر گرفته شود.
جمله سازی با formal language
جملات نمونه از منابع مختلف جمع آوری شده است، اگر صحیح نیست یا توهین آمیز است، لطفا گزارش دهید.
💡 We built a tiny formal language in class, then wrote a parser that finally made recursion feel friendly.
ما در کلاس یک زبان رسمی کوچک ساختیم، سپس یک تجزیهگر نوشتیم که در نهایت باعث شد بازگشتی راحت به نظر برسد.
💡 Closeness erodes formal language, imbues utterances with private meaning.
نزدیکی، زبان رسمی را فرسوده میکند و به گفتهها معنای خصوصی میبخشد.
💡 A formal language defines symbols and rules strictly, allowing compilers to do their magic without guesswork.
یک زبان رسمی نمادها و قوانین را به طور دقیق تعریف میکند و به کامپایلرها اجازه میدهد بدون حدس و گمان، جادوی خود را انجام دهند.
💡 Security protocols rely on formal language proofs to guarantee properties marketers love to overstate.
پروتکلهای امنیتی برای تضمین املاکی که بازاریابان دوست دارند در مورد آنها اغراق کنند، به مدارک رسمی زبانی متکی هستند.
💡 “It was in much more formal language than she had ever used, and it said, ‘What is my visa status’,” she tells the BBC.
او به بیبیسی میگوید: «زبان نامه خیلی رسمیتر از همیشه بود و نوشته بود 'وضعیت ویزای من چیست'.»
💡 That is all the more reason that your correspondents may be impressed with the dignity of using formal language.
به همین دلیل است که ممکن است طرفهای مکاتبه شما تحت تأثیر وقار استفاده از زبان رسمی قرار بگیرند.