Структурно-операционная семантика языка While. | MetodPro.ru

Реклама на сайте

Структурно-операционная семантика языка While.


24.Структурно-операционная семантика языка While
Требуется описать отдельные шаги вида:
<S,s> -> y,
где y может быть либо парой <S’,s’> либо состоянием s’.
Конфигурацию <S,s> будем называть тупиковой, если не существует y, для которой <S,s> -> y.
[asssos] <x:=e,s> -> s[x/A[e]s]
[skipsos] < skip,s> -> s       
      <S1,s> ( <S1’,s’>
[comp1sos]        
      <S1;S2,s> -> <S1’;S2,s’>
       <S1,s> -> s’
[comp2sos]        
       <S1;S2,s> -> <S2,s’>
[iftsos]
 <if b then S1 else
       S2,s> -> <S1,s>
если B[b]s =true
[iffsos]
 <if b then S1 else S2,s> -> <S2,s>
если B[b]s =false
[whilesos]        
<while b do S, s> ->
<if b then (S; while b do S) else skip, s>





Методические пособия

  • Системы автоматизированного проектирования
  • Социология молодёжи
  • Общая социология
  • Криптография
  • Проектирование трансляторов
  • Компьютерная графика
  • Моделирование систем
  • Информационная безопасность
  • Теория вычислительных процессов
  • Логические основы искусственного интелекта
  • Проектирование распределённых информационных систем