یکی از مراحل تعیین مشخصات سیستم در گام تحلیل، تعیین رفتار سیستم می باشد که در این مرحله مشخص می شود چه اتفاقی باید در هر حالت سیستم رخ دهد. به همین منظور تحلیلگر در انتخاب زبان های صوری یا غیرصوری برای نشان دادن رفتار سیستم بر سر دو راهی قرار می-گیرد. پس از تصمیم گیری در استفاده از زبان های صوری یا غیرصوری، تحلیلگر برای تعیین مشخصات سیستم با توجه به نیازمندی های سیستم و قابلیت های زبان ها می با...

هدف پژوهش حاضر دست یابی به دستور احتمالی زبان فارسی است. این دستور از نوع دستورهای صوری احتمالی بوده و از دیدگاه رایانشی از نوع دستورهای بافت آزاد واژگانی نشده است. بدیهی است زبان مانند هر پدیده یا رفتار پیچیده ی دیگر نیازمند نظام مولد منسجمی می باشد، که دست یابی به این نظام به منزله ی توانایی تولید و درک، رمزگذاری و رمزگشایی این پدیده است. روشن است نظام تولیدی یک پدیده لزوماً بر نظام خود آن پدی...

در آغاز ، قیاس ، دیدگاه کانت دربارۀ قیاس صوری و شکل های چهارگانه آن می آید؛ و اینکه تنهاشکل شکل اول قیاس صوری اهمیت دارد و شک ل های دیگر به شکل اول م ی توانند برگرداندهشوند. پس از آن شکل های گوناگون و قاعده های منطق کلاسیک - ارسطویی معرفی می گردند؛در پایان کوشش می شود با الگو گرفتن از زبان صوری منطق جدید، نظریۀ مجموع ه ها، به ویژهنمودار وِن، ثابت شود که چطور همۀ شکل های گوناگون قیاس ب ه شکل اول ...

باتوجه به رشد روز افزون استفاده از سیستم های همروند، داشتن مدلی مناسب برای توصیف این گونه سیستم ها امری ضروری است. در این مقاله یک زبان مبتنی براکتور، که زبانی شیء بنیاد و همروند است انتخاب شده و معنای عملیاتی آن به شکل صوری در سیستم گذار پایه بیان گردیده است. به این ترتیب درک و استفاده از زبان و همچنین تشخیص هرگونه ناسازگاری و یا ابهام و نقص در آن آسان تر شده است. اشیا‎ء واکنشی مستقل از هم، اج...

قرآن کریم سرچشمه تمام علوم اسلامی است که به زبان عربی کلاسیک نگاشته شده است و این در حالی است که در بهره برداری از متون قرآنی توانمندیهای بسیار بالای پردازش رایانه کمتر مورد توجه قرار گرفته است. بسامد وقوع گروههای اسمی در قرآن نسبت به سایر انواع کلمه بیشتر می باشد. در این میان اهمیت آگاهی از نقش اسم در درک آن بسیار حائز اهمیت است. در بین مطالعات انجام گرفته تاکنون تحقیقی که بیانگر دستوری صوری ب...