stanford-oval/wikipedia huggingface dataset:
گیرمو لاسو
فعالیت تجاری

لاسو در دهه ۱۹۹۰، به دنبال ورشکستگی یک شرکت محلی در اکوادور به عنوان رئیس عملیات کوکاکولا در این کشور انتخاب شد. لاسو ماموریتش بازسازی ساختار شرکت و روان‌سازی و بازگرداندن سلامت مالی آن بود. وی از آن زمان در هیئت مدیره کوکاکولا و کمپانی ماوسا عضویت داشت، او همچنین به عنوان رئیس هیئت مدیره کمیسیون حمل و نقل استان گوایاس و همچنین عضویت در هیئت مدیره شرکت توسعه اندین فعالیت کرد.
در ۱۹۹۴ لاسو مدیر عامل بانک گوایاکیل شد. او در دوران تصدی خود به تأسیس برنامه بانک‌های محلی پرداخت، لاسو در یک ابتکار بانکداری، جامعه مغازه داران محلی را به عنوان شریک اقتصادی بانک در برنامه‌ریزی و استراتژی بانکی خود گنجاند. این برنامه توسط بانک توسعه بین آمریکایی به عنوان پیشرفتی در استراتژی نفوذ بانک‌های مردمی عنوان شد که در فهرست سازمان‌های چنددولتی قرار دارند. لاسو در ۲۰۱۲ از سمت خود به عنوان رئیس اجرایی بانک استعفا داد. لاسو علاوه بر این بنیانگذار بنیاد دل باریو است.
در سال ۲۰۱۳
استپانوفکا (شهرستان آلشیفسکی، باشقیرستان)

| استپانوفکا (شهرستان آلشیفسکی، باشقیرستان) Степановка | استپانوفکا (شهرستان آلشیفسکی، باشقیرستان) Степановка |
| --- | --- |
روستا: روستا
استپانوفکا (شهرستان آلشیفسکی، باشقیرستان)نمایش نقشه باشقیرستاناستپانوفکا (شهرستان آلشیفسکی، باشقیرستان)نمایش نقشه روسیه: استپانوفکا (شهرستان آلشیفسکی، باشقیرستان)نمایش نقشه باشقیرستاناستپانوفکا (شهرستان آلشیفسکی، باشقیرستان)نمایش نقشه روسیه
مختصات: ۵۳°۵۰′ شمالی ۵۴°۳۲′ شرقی﻿ / ﻿۵۳٫۸۳۳°شمالی ۵۴٫۵۳۳°شرقی﻿ / 53.833; 54.533: مختصات: ۵۳°۵۰′ شمالی ۵۴°۳۲′ شرقی﻿ / ﻿۵۳٫۸۳۳°شمالی ۵۴٫۵۳۳°شرقی﻿ / 53.833; 54.533
کشور: روسیه
ناحیه‌های فدرال روسیه: باشقیرستان
شهر: شهرستان آلشیفسکی
منطقهٔ زمانی: یوتی‌سی +۵:۰۰
استپانوفکا (به لاتین: Stepanovka) یک منطقهٔ مسکونی در روسیه است که در باشقیرستان واقع شده‌است.
رنسام بی فولر

| پیشینه> مالک | پیشینه>  |
| --- | --- |
تکمیل ساخت::  ۱۳ دسامبر ۱۹۰۲
مشخصات اصلی: مشخصات اصلی
وزن::  2329 tons
درازا::  ۳۱۷ فوت ۶ اینچ (۹۶٫۷۷ متر)
پهنا::  ۴۰ فوت ۱ اینچ (۱۲٫۲۲ متر)
آبخور::  ۱۴ فوت (۴٫۳ متر)
سرعت::  ۵ گره (۹٫۳ کیلومتر بر ساعت؛ ۵٫۸ مایل بر ساعت)
رنسام بی فولر (به انگلیسی: Ransom B. Fuller) یک کشتی بود که طول آن ۳۱۷ فوت ۶ اینچ (۹۶٫۷۷ متر) بود. این کشتی در سال ۱۹۰۲ ساخته شد.
اندره الشان

اندره الشان (انگلیسی: Andrey Alshan؛ زادهٔ ۱۸ مارس ۱۹۶۰) ورزشکار شمشیربازی اهل اتحاد جماهیر شوروی سوسیالیستی است.
وی در مسابقات کشوری و بین‌المللی در مجموع برندهٔ ۱ مدال نقره شده‌است.
امامزاده عقیل (خرامه)

| امامزاده عقیل | امامزاده عقیل |
| --- | --- |
روستا: روستا
امامزاده عقیلموقعیت در ایراننمایش نقشه ایرانامامزاده عقیلامامزاده عقیل (استان فارس)نمایش نقشه استان فارس: امامزاده عقیلموقعیت در ایراننمایش نقشه ایرانامامزاده عقیلامامزاده عقیل (استان فارس)نمایش نقشه استان فارس
مختصات: ۲۹°۳۲′ شمالی ۵۳°۲۳′ شرقی﻿ / ﻿۲۹٫۵۳۳°شمالی ۵۳٫۳۸۳°شرقی﻿ / 29.533; 53.383: مختصات: ۲۹°۳۲′ شمالی ۵۳°۲۳′ شرقی﻿ / ﻿۲۹٫۵۳۳°شمالی ۵۳٫۳۸۳°شرقی﻿ / 29.533; 53.383
کشور: ایران
استان: فارس
شهرستان: خرامه
بخش: مرکزی
دهستان: کفدهک
جمعیت: ۱۴ نفر
امامزاده عقیل ، روستایی از توابع بخش مرکزی شهرستان خرامه در استان فارس ایران است.
جمعیت

این روستا در دهستان کفدهک قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۱۴ نفر (۱۴خانوار) بوده‌است.
روابط بریتانیا و تانزانیا

روابط بریتانیا و تانزانیا روابط خارجی بین بریتانیا و تانزانیا است. بریتانیا از لحاظ تاریخی در بسیاری از زمینه ها، به ویژه تجارت و امنیت، شریک تانزانیا بوده است.
تاریخچه

روابط بین بریتانیا و تانزانیا کنونی در اوایل قرن نوزدهم، با افزایش نفوذ بریتانیا در تانگانیکا و زنگبار، سرزمین‌های سابق که اکنون ایالت مدرن تانزانیا را تشکیل می‌دهند، توسعه یافت.
در زنگبار، تعامل بریتانیا با تجارت و تمایل به پایان دادن به تجارت برده در اقیانوس هند تعریف شد. در سال ۱۸۲۲، بریتانیا اولین قرارداد از یک سری معاهده‌ها را با سعید بن سلطان، سلطان عمانی زنگبار، امضا کرد تا تجارت را محدود کند، که در نهایت در سال ۱۸۷۶ ممنوع شد. در سال ۱۸۹۰، امپراتوری بریتانیا با پیمان هلیگولند-زانزیبار موافقت کرد. آلمان که به طور رسمی کنترل زنگبار را به آنها واگذار کرد. تحت الحمایه بریتانیا در دسامبر 1963 پایان یافت.
در تانگانیکا، کاشفان بریتانیایی ریچارد فرانسیس برتون و جان اسپک اولین اروپایی‌هایی بودند که در سال ۱۸۵۸ از دریاچه تانگانیکا دیدن کردند. در سال ۱۹۱۹، بریتانیا کنترل اکثر قلمروی تانگانیکان را به دست آورد، به دنبال دستور اتحادیه ملل که به دوره مدیریت استعماری آلمان که در سال 1884 آغاز شده بود، پایان داد. در ۹ دسامبر ۱۹۶۱، تانگانیکا استقلال یافت و ژولیوس نیره ، فارغ التحصیلان دانشگاه ادینبورگ و رهبر اتحادیه ملی آفریقای تانگانیکا به عنوان رئیس منصوب شد.
تانگانیکا به عنوان عضوی از کشورهای مشترک المنافع در سال ۱۹۶۱ پذیرفته شد. روابط دوجانبه بین بریتانیا و تانزانیا امروزی به طور رسمی در سال ۱۹۶۴ آغاز شد، زمانی که تانگانیکا در سال ۱۹۶۴ با زنگبار ادغام شد و جمهوری متحد تانزانیا را تشکیل داد.
تانزانیا روابط خود را با بریتانیا بین دسامبر ۱۹۶۵ و ژوئیه ۱۹۶۸ در پاسخ به سیاست بریتانیا در قبال اعلامیه استقلال یکجانبه رودزیا قطع کرد.
تجارت

صادرات تانزانیا به بریتانیا شامل مواد خام مانند چای، تنباکو و سنگ های قیمتی است. بریتانیا بزرگترین خریدار غیر آفریقایی چای تانزانیا است. از سوی دیگر، صادرات بریتانیا به تانزانیا عمدتاً شامل خودروها و لوازم الکترونیکی است.
| Trade Value in UK £ Million | Trade Value in UK £ Million | Trade Value in UK £ Million | Trade Value in UK £ Million | Trade Value in UK £ Million | Trade Value in UK £ Million | Trade Value in UK £ Million | Trade Value in UK £ Million | Trade Value in UK £ Million | Trade Value in UK £ Million | Trade Value in UK £ Million |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
|  | 2013 | 2014 | 2015 | 2016 | 2017 | 2018 | 2019 | 2020 | 2021 | 2022 |
| Total Trade | 460 | 465 | 442 | 333 | 339 | 336 | 198 | 233 | 184 | 323 |
| Exports from UK to Tanzania | 272 | 287 | 290 | 214 | 195 | 171 | 161 | 139 | 164 | 275 |
| Imports to UK from Tanzania | 188 | 178 | 152 | 119 | 144 | 165 | 37 | 94 | 20 | 48 |
Department for Business and Trade as of 1 August 2023: Department for Business and Trade as of 1 August 2023
:
اتوماتای سلولی ساده

اتوماتای سلولی ساده (به انگلیسی: Elementary cellular automata) در ریاضیات و نظریه محسابات، جزو اتوماتای سلولی یک بعدی می‌باشد به نحوی که مجموعه حالات فقط متشکل از دو حالت (۰ یا ۱) و قاعده تعیین حالت یک سلول در گام بعدی، فقط تابعی از حالت فعلی خود آن سلول و دو همسایه مجاورش باشد. این سیستم یکی از ساده‌ترین سیستم‌های محاسبه می‌باشد، با این وجود، یکی از این سیستم‌ها موسوم به قاعده ۱۱۰ هم ارز ماشین محاسبه تورینگ می‌باشد. به این معنی که هر محاسبه ای که بر روی ماشین تورینگ قابل انجام باشد، بر روی قاعده ۱۱۰ هم قابل انجام است.
تاریخچه

بررسی و دسته‌بندی این سیستم‌ها کار استیون ولفرم می‌باشد. او برای اولین بار نتایج خود را به صورت جامع در کتاب نوع جدیدی از علم منتشر کرد که بررسی حالت‌های مختلف اتوماتای سلولی ساده بخشی از آن کتاب بود.
روش شماره گزاری

برای پیکربندی هر سلول و همسایه هایش، ۸ حالت ممکن وجود دارد. قاعده اتوماتون ساده، باید به ازای هر کدام از این حالت‌های پیکربندی، حالت بعدی سلول را تعیین کند و این به این معنی است که ۲۵۶ = ۲۲۳ اتوماتای سلولی ساده ممکن وجود دارد. ولفرم در کتابش و قبل تر در مقاله ای، روشی برای شماره گزاری این ۲۵۶ حالت از ۰ تا ۲۵۵ ابداع کرد که به این شکل است که ابتدا پیکر بندی‌های مختلف را بر حسب اندازه مرتب می‌کنیم (مثلاً ۱۱۱ بزرگترین پیکربندی است و ۰۰۰ کوچکترین پیکربندی) و حالت بعدی سیستم به ازای آن پیکر بندی را می‌نویسیم (هر حالت ۰ یا ۱ است). به این ترتیب هشت حالت ممکن کنار هم قرار می‌گیرند و یک عدد مبنای ۲ با ۸ رقم را تشکیل می‌دهند، مقدار آن عدد را در سیستم ده دهی شماره آن اتوماتا می‌نامیم.
مثال زیر برای قاعده ۱۱۰ می‌باشد و L,C,R نشانگر چپ، وسط، راست هستند و حالت هر کدام از سلول‌های پیکر بندی را مشخص می‌کنند:
| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| ۱۱۱ | ۱۱۰ | ۱۰۱ | ۱۰۰ | ۰۱۱ | ۰۱۰ | ۰۰۱ | ۰۰۰ | پیکربندی فعلی | (L,C,R) |
| ۰ | ۱ | ۱ | ۰ | ۱ | ۱ | ۱ | ۰ | حالت بعدی سلول میانی | N۱۱۰d=(C+R+C*R+L*C*R)%۲ |
حالات هم ارز

هر چند ۲۵۶ قاعده برای اتوماتای سلولی ساده داریم، اما بعضی از این حالت‌ها با هم مشابه هستند. بطور مثال بعضی از قواعد با یک انعکاس به هم تبدیل می‌شوند. اهمیت همچین تقارنی در این است که اگر دو قاعده با یک تقارن به هم تبدیل شوند از نظر پیچیدگی محاسباتی هم ارز هستند زیرا پیچیدگی محاسباتی نسبت به این تقارن ناوردا است. بطور مثال اگر با این تقارن قاعده ۱۱۰ را تغییر دهیم، به قاعده ۱۲۴ می‌رسیم. منظور از این تقارن این است که جای حالت XYZ با حالت ZYX عوض شود. از ۲۵۶ قاعده، ۶۴ تا با حالت منعکس یافته برابر هستند.
یک راه دیگر برای تعریف رده هم‌ارزی بر روی این ۲۵۶ حالت، تعریف حالت‌های مکمل می‌باشد. اینجا از تقارن بین ۰ و ۱ استفاده می‌کنیم. اگر در یک قاعده همه ۰ و ۱ها را برعکس کنیم باز هم پیچیدگی محاسباتی سیستم عوض نمی‌شود. ۱۶ قاعده هم هستند که با مکمل خود یکسان هستند. (به زبان ریاضی، نقطه ثابت‌های تبدیل ذکر شده هستند)
همچنین ترکیب دو تبدیل بالا (انعکاس و مکمل منطقی) هم خود یک تبدیل جدید به ما می‌دهد که پیچیدگی تحت آن ناوردا است. ۱۶ قاعده هم هستند که تحت این تبدیل به خودشان نگاشته می‌شوند. نهایتاً ۸۸ قاعده می‌ماند که با تبدیلات ذکر شده هم ارز نیستند.
رفتار سیستم تحت حالت اولیه تصادفی

یک راه بررسی این اتوماتا این است که برای شرایط اولیه تصادفی، رفتار آن‌ها را بررسی کنیم. ولفرم آن‌ها را به چهار دسته کلی تقسیم‌بندی کرده‌است:
دسته اول: این اتوماتا به حالت یکنواخت همگرا می‌شوند. یعنی پس از چند گام، به حالتی می‌رسیم که تمام سلول‌ها ۰ یا ۱ هستند. قواعد ۰ و ۳۲ از این دسته هستند.
دسته دوم: این اتوماتا به حالتی ثابت (پایدار) یا چرخه ای تکراری همگرا می‌شوند. یعنی پس از چند گام به حالتی می‌رسیم و دیگر تغییر نمی‌کند، یا به یک چرخه محدود می‌رسیم که بین تعداد محدودی پیکربندی می‌چرخد. قواعد ۴ و ۱۰۸ ازین دسته هستند.
دسته سوم: این اتوماتا به حالت خاصی نمی‌رسند و به نظر می‌رسد رفتار سیستم تصادفی می‌ماند. مانند قواعد ۲۲ و ۳۰.
دسته چهارم: در این دسته به بازه‌هایی می‌رسیم که تکرار شونده هستند یا پایدارند ولی همچنین ساختارهایی ایجاد می‌شوند که با سازوکارهای نابدیهی با هم برهم کنش می‌کنند. مانند قاعده ۱۱۰.
قاعده ۰
قاعده ۱
قاعده ۲
قاعده ۳
قاعده ۴
قاعده ۵
قاعده ۶
قاعده ۷
قاعده ۸
قاعده ۹
قاعده ۱۰
قاعده ۱۱
قاعده ۱۲
قاعده ۱۳
قاعده ۱۴
قاعده ۱۵
قاعده ۱۸
قاعده ۱۹
قاعده ۲۲
قاعده ۲۳
قاعده ۲۴
قاعده ۲۵
قاعده ۲۶
قاعده ۲۷
قاعده ۲۸
قاعده ۲۹
قاعده ۳۰
قاعده ۳۲
قاعده ۳۳
قاعده ۳۴
قاعده ۳۵
قاعده ۳۶
قاعده ۳۷
قاعده ۳۸
قاعده ۴۰
قاعده ۴۱
قاعده ۴۲
قاعده ۴۳
قاعده ۴۴
قاعده ۴۵
قاعده ۴۶
قاعده ۵۰
قاعده ۵۱
قاعده ۵۴
قاعده ۵۶
قاعده ۵۷
قاعده ۵۸
قاعده ۶۰
قاعده ۶۲
قاعده ۷۲
قاعده ۷۳
قاعده ۷۴
قاعده ۷۶
قاعده ۷۷
قاعده ۷۸
قاعده ۹۰
قاعده ۹۴
قاعده ۱۰۴
قاعده ۱۰۵
قاعده ۱۰۶
قاعده ۱۰۸
قاعده ۱۱۰
قاعده ۱۲۲
قاعده ۱۲۶
قاعده ۱۲۸
قاعده ۱۳۰
قاعده ۱۳۲
قاعده ۱۳۴
قاعده ۱۳۶
قاعده ۱۳۸
قاعده ۱۴۰
قاعده ۱۴۲
قاعده ۱۴۶
قاعده ۱۵۰
قاعده ۱۵۲
قاعده ۱۵۴
قاعده ۱۵۶
قاعده ۱۶۰
قاعده ۱۶۲
قاعده ۱۶۴
قاعده ۱۶۸
قاعده ۱۷۰
قاعده ۱۷۲
قاعده ۱۷۸
قاعده ۱۸۴
قاعده ۲۰۰
قاعده ۲۰۴
قاعده ۲۳۲
کاربردها

بررسی اتوماتای سلولی ساده، هم از منظر نظری (در حوزهٔ ریاضیات و علوم کامپیوتر) و هم کاربردی مورد توجه است. از کاربردهای عملی این سیستم‌های می‌توان به کار عبدو (دانشگاه منوفیه مصر) و همکارانشان اشاره کرد که بر مبنای این اتوماتا، روشی برای رمزنگاری ابداع کردند. بطور خاص الگوریتم ابداع شده توسط آن‌ها روشی برای رمزنگاری تصویر است که ادعا می‌شود در مقابل حملات تفاضلی و آماری مقاوم است. از منظر نظری هم می‌توان به کار کاتانیو اشاره کرد که اتوماتای سلولی ساده را از نگاه توپولوژیکی بررسی کرده، و به برآمدن آشوب در این سیستم‌ها پرداخته‌است.
آمپر (ریزمعماری)

| 0 | 1 |
| --- | --- |
ترانزیستورها: ۷ نانومتری (فین‌فیت) سامسونگ الکترونیک
تاریخچه: تاریخچه
پیشین: تورینگ
پسین: هاپر
آمپر (انگلیسی: Ampere) اسم رمز یک ریزمعماری در زمینهٔ واحد پردازش مرکزی و معرفی‌شده توسط شرکت انویدیا است که دنباله‌ای موفق بر نسخهٔ پیشین همین شرکت، ریزمعماری تورینگ است. این ریزمعماری قرار است که در سال ۲۰۲۰ به شکل رسمی معرفی گردد. نام این پروژه برگرفته از نام آندره-ماری آمپر فرانسوی است.
ارکیده سنبلی کک‌مکی

| ارکیده سنبلی کک‌مکی | ارکیده سنبلی کک‌مکی |
| --- | --- |
رده‌بندی علمی: رده‌بندی علمی
فرمانرو:: گیاه
(طبقه‌بندی‌نشده):: گیاهان گلدار
(طبقه‌بندی‌نشده):: تک‌لپه‌ای‌ها
راسته:: مارچوبه‌سانان
تیره:: ثعلبیان
زیرخانواده:: Epidendroideae
تبار:: Cymbidieae
زیرتبار:: Cyrtopodiinae
Alliance:: Dipodium
سرده:: Dipodium
گونه:: ارکیده سنبلی کک‌مکی
نام دوبخشی: نام دوبخشی
Dipodium punctatum (Sm.) آر.بر: Dipodium punctatum (Sm.) آر.بر
مترادف: مترادف
 Dendrobium punctatum Sm.  Wailesia punctata (Sm.) G.Nicholson:  Dendrobium punctatum Sm.  Wailesia punctata (Sm.) G.Nicholson
ارکیده سنبلی کک‌مکی یا ارکیده سنبلی (نام علمی: Dipodium punctatum) گونه‌ای گیاه است از تیره ثعلبیان که بومی کشور استرالیا است. گونه‌های دیگر این گیاه نیز ممکن است به نام‌های ارکیده سنبلی کک‌مکی و ارکیده سنبلی نیز یادآور شوند. این گونه گیاهی بدون برگ است گل‌هایش معمولاً صورتی‌رنگ و با عرض ۲۰ تا ۲۵ میلی‌متر هستند.
اتوماتای سنگ‌ریزه

اتوماتای سنگ‌ریزه (به انگلیسی: pebble automaton)، یک درخت را به عنوان ورودی می‌گیرد و روی گره‌های درخت از طریق یال‌ها حرکت می‌کند. به علاوه، این اتوماتا یک مجموعه‌ی متناهی با اندازه‌ی ثابت از «سنگ‌ریزه‌ها» دارد که از 1 تا k شماره‌گذاری شده‌اند و می‌تواند آن‌ها را روی گره‌های درخت بگذارد. در یک گام اتوماتا می‌تواند روی گره فعلی بماند، به گره پدر برود، به گره فرزند چپ یا راست برود. همین‌طور می‌تواند سنگ‌ریزه‌ی iم را بردارد، یا سنگ‌ریزه‌ی i-1م را رو گره فعلی قرار دهد. این که در هر گام اتوماتا چه تصمیمی می‌گیرد، بستگی به حالت فعلی اتوماتا، مجموعه‌ی سنگ‌ریزه‌هایی که روی گره فعلی قرار دارد، برچسب گره فعلی، و نوع گره فعلی (ریشه، فرزند چپ یا راست، برگ یا گره داخلی) دارد.
تعریف دقیق

مجموعه‌ی {TYPE = {r, 0, 1} × {l, i، انواع ممکن برای یک گره را دربردارد. در این‌جا r برای ریشه، 0 فرزند برای فرزند چپ، 1 برای فرزند راست، l برای برگ، و i برای گره درونی در نظر گرفته شده است. مجموعه‌ی {MOVES = {ε, ←, →, ↑, lift, drop، انواع حرکت‌های ممکن را برای اتوماتا دربرمی‌گیرد. در این‌جا ↑ برای رفتن به گره پدر، ← برای رفتن به فرزند چپ،  → برای  رفتن به فرزند راست، drop برای گذاشتن سنگ‌ریزه، و lift برای برداشتن سنگ‌ریزه در نظر گرفته شده است. همین‌طور مجموعه‌ی توانی یک مجموعه مانند S را با (P(S نشان می‌دهیم.
یک اتوماتای سنگ‌ریزه که k سنگ‌ریزه دارد، یک چندتاییِ (A = (Σ,Q, I, F, δ است، که Q مجموعه‌ای متناهی از حالت‌هاست، I ⊆ Q مجموعه‌ی حالات اولیه، F ⊆ Q مجموعه‌ی حالات پایانی، و δ رابطه‌ی گذر (به انگلیسی: transition relation) است.
(δ ⊆ (Q × TYPES × {1, . . . , k + 1} × P({1, · · · , k}) × Σ) × (Q × MOVES
چندتاییِ q, β, i, S, σ, q′,m) ∈ δ) بیان می‌کند که اگر A در حالت q باشد، سنگ‌ریزه‌های i تا k در درخت باشند، مجموعه‌ی S سنگ‌ریزه‌های گره فعلی را دربرداشته باشد، گره از نوع β باشد و برچسب σ داشته باشد، آن‌گاه A به حالت ′q می‌رود و باتوجه به m حرکت می‌کند.
انواع

اتوماتای سنگ‌ریزه بسته به نحوه‌ی برداشتن سنگ‌ریزه‌ها، در دو نوع بررسی می‌شود:
ضعیف: در اتوماتای سنگ‌ریزه‌ی ضعیف، سنگ‌ریزه‌ها را در صورتی می‌توان برداشت که روی گره فعلی باشند.
قوی: در اتوماتای سنگ‌ریزه‌ی قوی محدودیت گره فعلی وجود ندارد و سنگ‌ریزه‌ها را می‌توان از هر گرهی برداشت.
به صورت پیش‌فرض اتوماتا قوی در نظر گرفته می‌شود.
قطعیت و عدم قطعیت

یک اتوماتای سنگ‌ریزه قطعی است، اگر δ یک تابع جزیی (به انگلیسی: partial function) از Q × types × {1, · · · , k + 1} × P({1, · · · , k}) × Σ به Q × moves باشد.
نمادگذاری

مجموعه‌ی زبان‌های تشخیص‌پذیر توسط اتوماتای سنگ‌ریزه‌ی قطعیِ قوی با n سنگ‌ریزه با sDPAn نشان داده می‌شود. همین طور مجموعه‌ی زبان‌های تشخیص‌پذیر توسط اتوماتای درخت‌پیما (به انگلیسی: tree walking automaton) با TWA و مجموعه‌ی زبان‌های تشخیص‌پذیر توسط اتوماتای پایین‌به‌بالا (به انگلیسی: bottom-up tree automaton) با REG نشان داده می‌شود.
ویژگی‌ها

PA\subsetneq REG
برای هر n\geqslant 0 :
PA_{n}\subsetneq PA_{n+1}و  DPA_{n}\subsetneq DPA_{n+1}
TWA\nsubseteq DPA_{n}
sPA_{n}=PA_{n}و  sDPA_{n}=DPA_{n}
sDPA_{n}تحت مکمل‌گیری بسته است.
یک نتیجه در منطق

اگر  FO+TC، مجموعه‌ی ویژگی‌های قابل توصیف درخت در منطق مرتبه‌ی اول بستار تعدی (به انگلیسی:  transitive closure first-order logic) باشد، و  FO+posTCهمان مجموعه در منطق بستار تعدی مثبت باشد، ثابت می‌شود که  PA\subsetneq FO+TC، و در واقع  PA=FO+posTC. یعنی مجموعه‌ی زبان‌های تشخیص‌پذیر توسط اتوماتای سنگ‌ریزه با مجموعه‌ی زبان‎های قابل‌توصیف در منطق بستار تعدی مثبت برابر است.
کلمنت هشتم

| پاپ کلمنت هشتم | پاپ کلمنت هشتم |
| --- | --- |
منتخب: ۳۰ ژانویه ۱۵۹۲
آغاز پاپی: ۲ فوریه ۱۵۹۲
پایان پاپی: ۳ مارس ۱۶۰۵
پیشین: اینوسنت نهم
جانشین: لئون یازدهم
رسته‌ها: رسته‌ها
انتصاب: ۱۵۸۰
دست‌گذاری: ۲ فوریه ۱۵۹۲ توسط Alfonso Gesualdo di Conza
کاردینال شدن: دسامبر ۱۵۸۵ توسط سیکتوس پنجم
اطلاعات فردی: اطلاعات فردی
نام هنگام تولد: Ippolito Aldobrandini
زادهٔ: ۲۴ فوریهٔ ۱۵۳۶ فانو (ایتالیا)، مارکه، ایالات پاپی
درگذشت: ۳ مارس ۱۶۰۵ (۶۹ سال) رم، ایالات پاپی
سایر پاپ‌ها و پادپاپ‌ها با نام Clement: سایر پاپ‌ها و پادپاپ‌ها با نام Clement
۱۵۰ پیکسل
پاپ کلمنت هشتم (به لاتین: Clemens VIII) (متولد ۲۴ فوریه ۱۵۳۶ - درگذشت ۳ مارس ۱۶۰۵) یکی از پاپ‌های کلیسای کاتولیک رم بود که در ایتالیا به دنیا آمد و از ۱۵۹۲ تا ۱۶۰۵ میلادی پاپ بود.
یواس‌اس بریروس (ای‌آر-۱۲)

| 0 | 1 |
| --- | --- |
پیشینه: پیشینه
مالک: 
آغاز کار::  ۱۹۴۱
به دست آورده شده::  ۱۶ فوریه ۱۹۴۳
اعزام::  ۱۵ نوامبر ۱۹۴۳
مشخصات اصلی: مشخصات اصلی
وزن::  ۸٬۹۷۵ تن بزرگ (۹٬۱۱۹ تن)
سرعت::  ۱۸ گره (۳۳ کیلومتر بر ساعت؛ ۲۱ مایل بر ساعت)
یواس‌اس بریروس (ای‌آر-۱۲) (به انگلیسی: USS Briareus (AR-12)) یک کشتی بود. این کشتی در سال ۱۹۴۱ ساخته شد.
اندرو ویتینگتون (تنیس‌باز)

| 0 | 1 |
| --- | --- |
کشور (ورزشی): Australia
محل زندگی: ملبورن، Australia
زادهٔ: ۱۱ اوت ۱۹۹۳ ‏(۳۱ سال)
آغاز حرفه: ۲۰۱۰
بازنشستگی: ۲۰۱۹
شیوه(های) بازی: راست‌دست (بک‌هند دودستی)
جایزه(های) نقدی: $۴۸۲,۷۰۶
تک‌نفره: تک‌نفره
نتیجه‌ها: 0-1 (گرند اسلم، انجمن تنیس حرفه‌ای level, and جام دیویس)
عنوان‌ها: 0
بالاترین رتبه: No. ۱۶۰ (20 March 2017)
نتایج تک‌نفرهٔ گرند اسلم: نتایج تک‌نفرهٔ گرند اسلم
آزاد استرالیا: Q1 (2014)
دونفره: دونفره
نتیجه‌ها: 3-2
عنوان‌ها: 0
بالاترین رتبه: No. ۷۴ (15 January 2018)
نتایج دونفرهٔ گرند اسلم: نتایج دونفرهٔ گرند اسلم
آزاد استرالیا: QF (2014)
آخرین به‌روزرسانی: ۳ مه ۲۰۲۴.: آخرین به‌روزرسانی: ۳ مه ۲۰۲۴.
اندرو ویتینگتون (انگلیسی: Andrew Whittington؛ زادهٔ ۱۱ اوت ۱۹۹۳) یک تنیس‌باز اهل استرالیا است.
آمپر کامپیوتینگ

| 0 | 1 |
| --- | --- |
نوع: شرکت سهامی خاص
صنعت: نیم‌رسانا
بنا نهاده: اکتبر ۲۰۱۷؛ ۶ سال پیش (۲۰۱۷}})
دفتر مرکزی: سانتا کلارا، کالیفرنیا
محدودهٔ فعالیت: جهانی
محصولات: مدار مجتمع ریزپردازنده
تعداد کارکنان: ۲۵۰ نفر
وبگاه: amperecomputing.com
آمپر کامپیوتینگ (انگلیسی: Ampere Computing) شرکت الکترونیک آمریکایی است، که در سال ۲۰۱۷ تأسیس شد.
تاکارک بنک

| 0 | 1 |
| --- | --- |
نوع: شرکت سهامی خاص
صنعت: بانک، خدمات مالی
بنا نهاده: ۱۹۸۹
دفتر مرکزی: بوداپست، مجارستان
محصولات: بانکداری خرد بانک تجاری کارت اعتباری صرافی بانکداری سرمایه‌گذاری وام مسکن بانکداری اختصاصی سرمایه‌گذاری خصوصی مدیریت ثروت
وبگاه: takarekbank.hu
پيش از اين اعلام شده بود ممكن است تا اوايل دسامبر، سهام اين بانك به گروه MBK منتقل شود.
تاکارک بنک (انگلیسی: Takarékbank) شرکت خدمات مالی و بانکداری مجارستانی است، که در سال ۱۹۸۹ تأسیس شد.
اکینوپسیس مامیلوسا

| اکینوپسیس مامیلوسا | اکینوپسیس مامیلوسا |
| --- | --- |
اکینوپسیس مامیلوسا، Echinopsis mamillosa: اکینوپسیس مامیلوسا، Echinopsis mamillosa
رده‌بندی علمی: رده‌بندی علمی
فرمانرو:: گیاهان
راسته:: میخک‌سانان
تیره:: کاکتوس
زیرخانواده:: کاکتوس‌واریان
سرده:: اکینوپسیس
اکینوپسیس مامیلوسا(نام علمی: Echinopsis mamillosa) نام یک گونه از سرده اکینوپسیس است.
باب اسفنجی شلوار مکعبی: موجودی از رستوران آقای خرچنگ

| باب اسفنجی شلوار مکعبی: موجودی از رستوران آقای خرچنگ | باب اسفنجی شلوار مکعبی: موجودی از رستوران آقای خرچنگ |
| --- | --- |
توسعه‌دهنده(ها): بلیتز گیمز (PS2, GC, Wii) وی فوروارد (GBA, DS)  ای دبلیو گیمز (ویندوز)
ناشر(ها): تی‌اچ‌کیو 
کارگردان(ـان): Team RocFISH (PS2, GC, Wii) نیک هیمن آرماندو سوتو (GBA)
طراح(ـان): الکس جوهانسون لوک نوکلز لیندزی گراهام پل استاکلی جاناتان تنش پیتر تئوفیلوس مارک ویتس (PS2, GC, Wii) مارک گومز آریک مک جی راجر اود (GBA) راب بوکانان مایکل هربستر (Nintendo DS)
برنامه‌نویس(ـان): کریس آلن کریس بل استیو باند آلاستر گراهام نایجل هیگز ناتان پریچارد جانی ترینور الکس ولکس متیو ودیلوو (PS2, GC, Wii) ریموند ماپل (GBA) مایکل هربستر (Nintendo DS)
هنرمند(ان): استیون تامسون (PS2, GC, Wii) پابلو رووالکابا (GBA, Nintendo DS) لوک بروکشیر (Nintendo DS)
نویسنده(ها): ریچارد بون جیمز پارکر کریس بیتمن استیون بنکس
آهنگساز(ان): جان گاسکوت مت بلک تاد بیکر (PS2, GC, Wii) مارتین شیولر (GBA, Nintendo DS)
سری: باب اسفنجی شلوار مکعبی
سکو(ها): نینتندو دی‌اس وی پلی‌استیشن ۲ گیم بوی ادونس گیم‌کیوب 
ژانر(ها): بازی اکشن-ماجراجویی سکوبازی 
حالت(ها): بازی ویدئویی تک‌نفره 
باب اسفنجی شلوار مکعبی: موجودی از رستوران آقای خرچنگ یک بازی ویدیویی پلتفرم است که برای مایکروسافت ویندوز، نینتندو گیم کیوب، پلی استیشن ۲ (PS2)، گیم بوی ادونس (GBA)، نینتندو دی اس و وی توسط تی‌اچ‌کیو منتشر شده‌است. نسخه‌های پلی استیشن ۲، گیم کیوب و وی همه درگاه‌های یک بازی هستند که توسط بلیتز گیمز ساخته شده ، در حالی که نسخه‌های گیم بوی ادونس، نینتندو دی اس و ویندوز به ترتیب بازی‌های جداگانه ای بودند که توسط وی‌فوروارد و ای دبلیو بی گیمز ساخته شده‌اند. این بازی براساس باب اسفنجی شلوار مکعبی ساخته شده‌است و شخصیت اصلی آن باب‌اسفنجی شلوارمکعبی است و بهترین دوست او پاتریک استار و دشمن آنها پلانکتون است در حالی که به نه دنیای مختلف سفر می‌کنند، ظاهراً درون رویاهای شخصیت‌ها بازی می‌کند. همچنین این اولین بازی باب اسفنجی است که در ژاپن منتشر شده‌است (نسخه‌های پلی استیشن ۲ و وی)، اما با عنوان باب اسفنجی (ブ ポ ン ジ ・ ボ ブSuponjibobu ) منتشر شد تا آن را به عنوان اولین بازی ویدیویی از سری باب اسفنجی معرفی کند. نسخه ویندوز بازی با عنوان باب اسفنجی شلوار مکعبی: کابوس شبانه منتشر شد.
گیم پلی

بازیکنان در طول بازی به سه شخصیت قابل بازی باب اسفنجی ، پاتریک مرد ستاره دریایی(Starfishman) ( پاتریک به شکل ابرقهرمان) و پلانکتون دسترسی دارند و باید آنها را در ۹ سطح بازی در دنیای رؤیا راهنمایی کنند.  چهار نوع گیم پلی مختلف در بازی گنجانده شده‌است که به عنوان پرواز ، رمپینگ ، مسابقه و پلت فرم شناخته می‌شوند. در طول بخشهای پرواز ، بازی موانعی را ایجاد می‌کند ، یکی در مقابل دیگری ، و بازیکن باید مانع عبور آنها شود. در بیشتر موارد ، بازی به بازیکن می‌گوید که از چه راهی پرواز کند (بالا، پایین ، چپ و راست). در وی ، پخش کننده از کنترل‌کننده مانند یک میله کنترل هواپیما استفاده می‌کند. شایع‌ترین موارد این موارد زمانی است که باب اسفنجی از هواپیمای خود برای حمله به یک پلانکتون به اندازه غول پیکر استفاده می‌کند.  در سطح داد و بیداد ، بازیکن یک پلانکتون به اندازه غول پیکر را کنترل می‌کند و از قدرت‌های ویژه ای استفاده می‌کند و حرکت می‌کند تا همه چیز را در مسیر خود نابود کند.  قدرت لیزر بازیکن با نواری در سمت راست صفحه نشان داده می‌شود که پس از استفاده دوباره پر می‌شود. نسخه وی دارای حرکات کنترل‌کننده است که به ترتیب حرکات را فعال می‌کند. گیم پلی مسابقه ای شبیه بیشتر بازی‌های مسابقه ای است. هم در هوا و هم در گیم پلی زمین وجود دارد ، برای اینکه وسیله نقلیه بازیکن کار کند باید سوخت جمع شود.  گیم پلی پلتفرم بودن بازی در مراحل به خوبی دیده می‌شود دیده می‌شود ، مانند زمانی که پلانکتون باید از یک همبرگر خرچنگی زنده فرار کند یا زمانی که پاتریک را از شکل شیطانی خود ، پاتریک مخوف(Dreaded Patrick) نجات می‌دهد.
داستان > پایان‌ها

پایان سطح بستگی به این دارد که بازیکن با کدام شخصیت برنده شود:
باب اسفنجی پیروزی خود را جشن می‌گیرد و از حباب رؤیای خود غافل می‌شود و متوجه می‌شود که این همه رؤیای دیگری است. او بیرون می‌آید و همبرگر را به رستوران آقای خرچنگ می‌آورد و همبرگر را به اندازه متوسطی برای مشتریان خرد می‌کند. باب اسفنجی سپس متوجه می‌شود که او و مشتریان پوسته گری را بر پشت خود دارند می‌کنند ، و این بدان معنی است که او هنوز در خواب می‌بیند.
پاتریک ناگهان در رستوران آقای خرچنگ جایی که همه در آن جشن پیروزی خود هستند ظاهر می‌شود. او سعی می‌کند همبرگر را بخورد اما از آن فرار می‌کند و در نهایت پاتریک وارد در می‌شود و باعث می‌شود چندین گری را ببیند.
پلانکتون با موفقیت بیکینی باتم را تصاحب می‌کند و رستوران آقای خرچنگ را از تجارت خارج می‌کند. با این حال ، همبرگر که از قبل صحبت می‌کند به او هشدار می‌دهد که "آنچه همبرگر می‌دهد ، همبرگر می‌تواند از بین ببرد." همبرگر سپس شروع به باریدن و خرد کردن امپراتوری پلانکتون می‌کند ، یکی از آنها دارای مجموعه ای از چشم حلزون است که بعد از انقباض یک خراب خرچنگ چام باکت را خرد می‌کند.
در پایان نهایی ، باب اسفنجی ، پاتریک و پلانکتون در خواب یکدیگر بیدار می‌شوند و مشخص می‌شود که این همه رؤیای گری بود ، کسی که کربی پتی را خورد. پس از بیدار شدن از خواب ، او به اطراف شهر می‌رود و قبل از بازگشت به خانه برای استراحت ، باب اسفنجی ، پاتریک و پلانکتون را می‌بیند. پس از آن باب اسفنجی یک همبرگر خرچنگی را برای گری بازگرداند ، که از خوردن آن خودداری می‌کند زیرا ممکن است کابوس‌هایی برایش به وجود آورد. سپس گری تماشا می‌کند که باب اسفنجی "گفتگویی" با همبرگر دارد. در حالی که باب اسفنجی برای خوردن همبرگر آماده می‌شود ، توسط کرم گاو آلاسکا خورده می‌شود و باعث می‌شود که گری غش کند.
بازیگران

تام کنی در نقش شلوار باب اسفنجی و گری
بیل فاگرباککه در نقش پاتریک
آقای لارنس در نقش پلانکتون
دی بردلی بیکر در نقش پیرمرد جنکینز
جیل تالی در نقش کارن
ماری جو کاتلت در نقش خانم پاف
جو آلاسکی در نقش مرد دریا