در علوم نظری رایانه، نظریهٔ اتوماتا (به انگلیسی: Automata theory) یا نظریهٔ ماشینها عبارت است از بررسی ریاضی ماشینهای محاسبهگر انتزاعی و تواناییهای آنها برای حل مسایل. به این ماشینهای انتزاعی اتوماتا گفته میشود. این نظریه بسیار نزدیک به نظریهٔ زبان صوری است. بهطوریکه اتوماتا اغلب توسط دستهٔ زبانهای رسمی قابل تشخیص دستهبندی میشوند. اتوماتا نقش اساسی در طراحی کامپایلر و تجزیه کردن (parsing) ایفا میکند....
مجموعه، از بُنداشتها (اصول تعریفناپذیر) در ریاضیات است. به هر گردایه یا دستهٔ مشخص از اشیاء دو به دو متمایز گفته میشود. مفهوم مجموعه با وجود سادگی آن از مفاهیم پایهای ریاضی است. نظریه مجموعهها در اواخر سده ۱۹ مطرح شد و اکنون یکی از بخشهای اصلی ریاضیات است. مجموعه گردایهای از اشیاء متمایز است. این اشیاء، عضوها یا عناصر مجموعه نامیده میشوند. اعضای یک مجموعه ممکن است هر چیزی باشند. مثلاً اعداد، افراد، حروف الفبا،...
جامعهشناسی بخشی از علوم اجتماعی و دانش بررسی جامعه (پدیده اجتماعی) است. این رشتهٔ علمی به بررسی جوامع بشری، برهمکنشهای آنها، و فرایندهایی که جوامع را در وضعیت جاریشان نگاه داشته یا تغییر میدهد میپردازد. هدف این حوزهٔ علمی پرداختن به تجزیهٔ جامعه به بخشهای تشکیل دهندهاش مانند انجمنها، نهادها، گروههای همجنس، همنژاد، یا همسن، و بررسی نحوهٔ برهمکنش فعال این اجزاء با همدیگر است. علاوه بر...
در علوم نظری رایانه، نظریهٔ اتوماتا (به انگلیسی: Automata theory) یا نظریهٔ ماشینها عبارت است از بررسی ریاضی ماشینهای محاسبهگر انتزاعی و تواناییهای آنها برای حل مسایل. به این ماشینهای انتزاعی اتوماتا گفته میشود. این نظریه بسیار نزدیک به نظریهٔ زبان صوری است. بهطوریکه اتوماتا اغلب توسط دستهٔ زبانهای رسمی قابل تشخیص دستهبندی میشوند. اتوماتا نقش اساسی در طراحی کامپایلر و تجزیه کردن (parsing) ایفا میکند....
واژه گراف در ریاضیات حداقل دارای دو معنی میباشد. در ریاضیات ابتدایی گراف به نمودار تابع اشاره دارد و در اصطلاح ریاضیدانان گراف مجموعهای از نقاط و خطوط متصل به هم هستند. در واقع گراف مدلی ریاضی برای یک مجموعه گسسته است که اعضای آن به طریقی به هم مرتبط هستند. اعضای این مجموعه میتوانند انسان باشند و ارتباط آنها با هم دست دادن باشد. اعضا میتوانند اتمها در یک مولکول باشند و ارتباط آنها اتصالهای شیمیایی باشد یا اعضا...