3 (LTS). LTS . ... LTS int p; process Prod() { while(1) 1.1: if(p < 2) 1.2: p += 1; } process Cons() { while(1) 2.1: if(p > 0) 2.2: p -= 1; } : ( Prod, Cons, p) ( . Prod Cons (1.1,2.1),0 p<2 p -= 1 (1.2,2.1),0 p += 1 (1.1,2.2),1 p>0 p<2 (1.1,2.1),1 p<2 p -= 1 (1.2,2.1),1 p += 1 p>0 (1.1,2.1),2 p>0 (1.2,2.2),1 p += 1 p -= 1 , (1.1,2.2),2 · , · = · LTS · · , , , · , · Prod Cond · , · ­ ­ ­ ! Prod Cons ELF System board Processor ­ ! ... s a Post ( s, a ) = {s' S | ...

Еще в разделе: (Показать все результаты (>2) - savenkov.lvk.cs.msu.su/ )

• http://savenkov.lvk.cs.msu.su/mc/lect04.pdf

... a) int x = 0; int f ( int a, int b) { return x = a + b; } class A { int x; public : A ( int n = 1) { x = n; } int f() { return ::x = x; } }; class B { int x; public : B ( int n = 2) { x = n; } }; class C: public A, public B { int x; public : int f( int a) { return ::x = x; } void g (); }; ... class X { public: void g () {cout << "g" << endl;} int h (int n) {cout << "f" << endl; return n} }; int main () { int k; const X x; X::g(); k = x.h(5); return 0; } 6.3. ...

345. http://sqi.cs.msu.su/store/storage/th25kzj_quantum_computer.pdf

346. http://www.dubrovinlab.msu.ru/files/Alltogether.pdf