X-Machine bilan bog'lanish - Communicating X-Machine

The Aloqa (oqim) X-apparati 1990-yillarda turli tadqiqotchilar tomonidan aloqa qiluvchi vositalardan tashkil topgan tizimlarni modellash uchun kiritilgan hisoblash modeli. Model to'g'ridan-to'g'ri asoslangan bir nechta variantlarda mavjud Samuel Eilenberg "s X-apparati[1] yoki keyinchalik Gilbert Laycock-da Stream X-Machine.[2]

Adabiyotlar

  1. ^ S. Eilenberg (1974) Avtomatlar, tillar va mashinalar, jild. A. Academic Press, London.
  2. ^ Gilbert Laykok (1993) Texnik spetsifikatsiyaga asoslangan dasturiy ta'minotni sinash nazariyasi va amaliyoti. Sheffild universiteti nomzodlik dissertatsiyasi. Xulosa Arxivlandi 2007-11-05 da Orqaga qaytish mashinasi