Similar to プッシュダウン・オートマトン
九〇式二十四糎列車加農
Type 90 240 mm railway gun九〇式大聴音機
War tuba九四式軽装甲車
Type 94 tankette九四式六輪自動貨車
20 mm AA machine cannon carrier truck九七式七粍七固定機銃
Type 97 aircraft machine gun九八式五糎投擲機
Type 98 50 mm mortar九九式十糎山砲
XA-32 (航空機)
Brewster XA-32ALCM (ミサイル)
AGM-86 ALCMAMX (航空機)
AMX International AMXANT-20 (航空機)
Tupolev ANT-20AOL
AOL▲1 trendsAppleScript
AppleScriptB-24 (航空機)
Consolidated B-24 LiberatorB-36 (航空機)
Convair B-36 Peacemaker0
01
1▲5 trends2
23
34
45
56
67
78
89
912345679
計算モデル
Model of computationCommunicating Sequential Processes
Communicating sequential processes