home *** CD-ROM | disk | FTP | other *** search
/ InfoMagic Standards 1993 July / Disc.iso / ccitt / 1988 / troff / 10_1_ind.tro < prev    next >
Encoding:
Text File  |  1991-12-12  |  12.2 KB  |  1,378 lines
  1. .rs
  2. .\" Troff code generated by TPS Convert from ITU Original Files
  3. .\"                 Not Copyright ( c) 1991 
  4. .\"
  5. .\" Assumes tbl, eqn, MS macros, and lots of luck.
  6. .TA 1c 2c 3c 4c 5c 6c 7c 8c
  7. .ds CH
  8. .ds CF
  9. .EQ
  10. delim @@
  11. .EN
  12. .nr LL 40.5P
  13. .nr ll 40.5P
  14. .nr HM 3P
  15. .nr FM 6P
  16. .nr PO 4P
  17. .nr PD 9p
  18. .po 4P
  19.  
  20. .rs
  21. \v | 5i'
  22. .sp 1P
  23. .ce 1000
  24. \v'12P'
  25. \s12FASCICULE\ X.1
  26. \v'4P'
  27. .RT
  28. .ce 0
  29. .sp 1P
  30. .ce 1000
  31. \fBRecommandation Z.100 et annexes A, B, C y E\fR 
  32. .ce 0
  33. .sp 1P
  34. .ce 1000
  35. \fBRecommandation Z.110\fR \v'2P'
  36. .ce 0
  37. .sp 1P
  38. .ce 1000
  39. \fBLANGAGE\ DE\ SP\o"E\(aa"CIFICATION\ ET\ DE\fR 
  40. .ce 0
  41. .sp 1P
  42. .ce 1000
  43. \fBDESCRIPTION\ FONCTIONNELLES\ (LDS)\fR 
  44. .ce 0
  45. .sp 1P
  46. .ce 1000
  47. \fBCRIT\o"E\(ga"RES\ D'UTILISATION\ DES\ TECHNIQUES\fR 
  48. .ce 0
  49. .sp 1P
  50. .ce 1000
  51. \fBDE\ DESCRIPTION\ FORMELLES\ (TDF)\fR 
  52. .ce 0
  53. .sp 1P
  54. .LP
  55. .rs
  56. .sp 01P
  57. .LP
  58. BLANC
  59. .bp
  60. .LP
  61. \fBMontage page 2 = page blanche\fR 
  62. .sp 1P
  63. .RT
  64. .LP
  65. .EF '%     \ \ \ ^''
  66. .OF ''' \ \ \ ^    %'
  67. .LP
  68. .bp
  69. .LP
  70.     
  71.     \fB1\fR \ \ 
  72.     
  73. .LP
  74.         1.1\ \ 
  75.     
  76. .LP
  77.         1.1.1\ \ 
  78.     
  79. .LP
  80.         2.2.1.1\ \ 
  81.     
  82. .LP
  83.         2.1.1.1.1\ \ 
  84.     
  85. .LP
  86. .EF '%    Fascicule\ X.1\ \(em\ Rec.\ Z.100''
  87. .OF '''Fascicule\ X.1\ \(em\ Rec.\ Z.100    %'
  88. .LP
  89. MEP  \fB[PA1]\fR : OK=
  90. [1]
  91. .LP
  92. .sp 2
  93. .bp
  94. .sp 2P
  95. .LP
  96. \fBRecommandation Z.100\fR 
  97. .RT
  98. .sp 2P
  99. .sp 1P
  100. .ce 1000
  101. \fBLANGAGE\ DE\ DESCRIPTION\ ET\ DE\ SP\o"E\(aa"CIFICATION\ (LDS)\fR 
  102. .EF '%    Fascicule\ X.1\ \(em\ Rec.\ Z.100''
  103. .OF '''Fascicule\ X.1\ \(em\ Rec.\ Z.100    %'
  104. .ce 0
  105. .sp 1P
  106. .ce 1000
  107. SOMMAIRE
  108. .sp 1P
  109. .RT
  110. .ce 0
  111. .sp 1P
  112. .LP
  113. \s8Page
  114. \s9
  115. .sp 1P
  116. .RT
  117. .ad r
  118. 1
  119.     \fIIntroduction au LDS\fR \ \ \ 
  120. .sp 1P
  121. .RT
  122. .ad b
  123. .RT
  124. .ad r
  125.     1.1
  126.     Introduction
  127. \ \ \ 
  128. .ad b
  129. .RT
  130. .ad r
  131.     1.1.1
  132.     Objectifs
  133. \ \ \ 
  134. .ad b
  135. .RT
  136. .ad r
  137.     1.1.2
  138.     Applications
  139. \ \ \ 
  140. .ad b
  141. .RT
  142. .ad r
  143.     1.1.3
  144.     Sp\*'ecification d'un syst\*`eme
  145. \ \ \ 
  146. .ad b
  147. .RT
  148. .ad r
  149.     1.2
  150.     Grammaire du LDS
  151. \ \ \ 
  152. .ad b
  153. .RT
  154. .ad r
  155.     1.3
  156.     D\*'efinitions de base
  157. \ \ \ 
  158. .ad b
  159. .RT
  160. .ad r
  161.     1.3.1
  162.     Type, d\*'efinition et instance
  163. \ \ \ 
  164. .ad b
  165. .RT
  166. .ad r
  167.     1.3.2
  168.     Environnment
  169. \ \ \ 
  170. .ad b
  171. .RT
  172. .ad r
  173.     1.3.3
  174.     Erreurs
  175. \ \ \ 
  176. .ad b
  177. .RT
  178. .ad r
  179.     1.4
  180.     Style de pr\*'esentation
  181. \ \ \ 
  182. .ad b
  183. .RT
  184. .ad r
  185.     1.4.1
  186.     Division du texte
  187. \ \ \ 
  188. .ad b
  189. .RT
  190. .ad r
  191.     1.4.2
  192.     Intitul\*'es
  193. \ \ \ 
  194. .ad b
  195. .RT
  196. .ad r
  197.     1.5
  198.     M\*'etalangages
  199. \ \ \ 
  200. .ad b
  201. .RT
  202. .ad r
  203.     1.5.1
  204.     M\*'eta IV
  205. \ \ \ 
  206. .ad b
  207. .RT
  208. .ad r
  209.     1.5.2
  210.     BNF
  211. \ \ \ 
  212. .ad b
  213. .RT
  214. .ad r
  215.     1.5.3
  216.     M\*'etalangage pour la grammaire graphique
  217. \ \ \ 
  218. .ad b
  219. .RT
  220. .ad r
  221. 2
  222.     \fILDS de base\fR \ \ \ 
  223. .sp 9p
  224. .RT
  225. .ad b
  226. .RT
  227. .ad r
  228.     2.1
  229.     Introduction
  230. \ \ \ 
  231. .ad b
  232. .RT
  233. .ad r
  234.     2.2
  235.     R\*`egles g\*'en\*'erales
  236. \ \ \ 
  237. .ad b
  238. .RT
  239. .ad r
  240.     2.2.1
  241.     R\*`egles lexicales
  242. \ \ \ 
  243. .ad b
  244. .RT
  245. .ad r
  246.     2.2.2
  247.     R\*`egles de visibilit\*'e et identificateurs
  248. \ \ \ 
  249. .ad b
  250. .RT
  251. .ad r
  252.     2.2.3
  253.     Texte informel
  254. \ \ \ 
  255. .ad b
  256. .RT
  257. .ad r
  258.     2.2.4
  259.     R\*`eglas applicables aux dessins
  260. \ \ \ 
  261. .ad b
  262. .RT
  263. .ad r
  264.     2.2.5
  265.     Subdivision des diagrammes
  266. \ \ \ 
  267. .ad b
  268. .RT
  269. .ad r
  270.     2.2.6
  271.     Commentaire
  272. \ \ \ 
  273. .ad b
  274. .RT
  275. .ad r
  276.     2.2.7
  277.     Extension de texte
  278. \ \ \ 
  279. .ad b
  280. .RT
  281. .ad r
  282.     2.2.8
  283.     Symbole de texte
  284. \ \ \ 
  285. .ad b
  286. .RT
  287. .ad r
  288.     2.3
  289.     Concept de base concernant les donn\*'ees
  290. \ \ \ 
  291. .ad b
  292. .RT
  293. .ad r
  294.     2.3.1
  295.     D\*'efinitions de type de donn\*'ees
  296. \ \ \ 
  297. .ad b
  298. .RT
  299. .ad r
  300.     2.3.2
  301.     Variable
  302. \ \ \ 
  303. .ad b
  304. .RT
  305. .ad r
  306.     2.3.3
  307.     Valeurs et litt\*'eraux
  308. \ \ \ 
  309. .ad b
  310. .RT
  311. .ad r
  312.     2.3.4
  313.     Expressions
  314. \ \ \ 
  315. .ad b
  316. .RT
  317. .LP
  318. .bp
  319. .ad r
  320. \s8Page
  321. \s9    2.4
  322.     Structure du syst\*`eme
  323. \ \ \ 
  324. .sp 1P
  325. .RT
  326. .ad b
  327. .RT
  328. .ad r
  329.     2.4.1
  330.     D\*'efinitions diff\*'er\*'ees
  331. \ \ \ 
  332. .ad b
  333. .RT
  334. .ad r
  335.     2.4.2
  336.     Syst\*`eme
  337. \ \ \ 
  338. .ad b
  339. .RT
  340. .ad r
  341.     2.4.3
  342.     Bloc
  343. \ \ \ 
  344. .ad b
  345. .RT
  346. .ad r
  347.     2.4.4
  348.     Processus
  349. \ \ \ 
  350. .ad b
  351. .RT
  352. .ad r
  353.     2.4.5
  354.     Proc\*'edure
  355. \ \ \ 
  356. .ad b
  357. .RT
  358. .ad r
  359.     2.5
  360.     Communication
  361. \ \ \ 
  362. .ad b
  363. .RT
  364. .ad r
  365.     2.5.1
  366.     Canal
  367. \ \ \ 
  368. .ad b
  369. .RT
  370. .ad r
  371.     2.5.2
  372.     Acheminement de signal
  373. \ \ \ 
  374. .ad b
  375. .RT
  376. .ad r
  377.     2.5.3
  378.     Connexion
  379. \ \ \ 
  380. .ad b
  381. .RT
  382. .ad r
  383.     2.5.4
  384.     Signal
  385. \ \ \ 
  386. .ad b
  387. .RT
  388. .ad r
  389.     2.5.5
  390.     D\*'efinition de listes de signaux
  391. \ \ \ 
  392. .ad b
  393. .RT
  394. .ad r
  395.     2.6
  396.     Comportement
  397. \ \ \ 
  398. .ad b
  399. .RT
  400. .ad r
  401.     2.6.1
  402.     Variables
  403. \ \ \ 
  404. .ad b
  405. .RT
  406. .ad r
  407.     2.6.1.1
  408.     D\*'efinition de variable
  409. \ \ \ 
  410. .ad b
  411. .RT
  412. .ad r
  413.     2.6.1.2
  414.     D\*'efinition de visibilit\*'e
  415. \ \ \ 
  416. .ad b
  417. .RT
  418. .ad r
  419.     2.6.2
  420.     D\*'epart
  421. \ \ \ 
  422. .ad b
  423. .RT
  424. .ad r
  425.     2.6.3
  426.     Etat
  427. \ \ \ 
  428. .ad b
  429. .RT
  430. .ad r
  431.     2.6.4
  432.     Entr\*'ee
  433. \ \ \ 
  434. .ad b
  435. .RT
  436. .ad r
  437.     2.6.5
  438.     Mise en r\*'eserve
  439. \ \ \ 
  440. .ad b
  441. .RT
  442. .ad r
  443.     2.6.6
  444.     Etiquette
  445. \ \ \ 
  446. .ad b
  447. .RT
  448. .ad r
  449.     2.6.7
  450.     Transition
  451. \ \ \ 
  452. .ad b
  453. .RT
  454. .ad r
  455.     2.6.7.1
  456.     Corps de transition
  457. \ \ \ 
  458. .ad b
  459. .RT
  460. .ad r
  461.     2.6.7.2
  462.     Terminateur de transition
  463. \ \ \ 
  464. .ad b
  465. .RT
  466. .ad r
  467.     2.6.7.2.1
  468.     Etat suivant
  469. \ \ \ 
  470. .ad b
  471. .RT
  472. .ad r
  473.     2.6.7.2.2
  474.     Branchement
  475. \ \ \ 
  476. .ad b
  477. .RT
  478. .ad r
  479.     2.6.7.2.3
  480.     Arr\* | t
  481. \ \ \ 
  482. .ad b
  483. .RT
  484. .ad r
  485.     2.6.7.2.4
  486.     Retour
  487. \ \ \ 
  488. .ad b
  489. .RT
  490. .ad r
  491.     2.7
  492.     Action
  493. \ \ \ 
  494. .ad b
  495. .RT
  496. .ad r
  497.     2.7.1
  498.     T\* | che
  499. \ \ \ 
  500. .ad b
  501. .RT
  502. .ad r
  503.     2.7.2
  504.     Cr\*'eation
  505. \ \ \ 
  506. .ad b
  507. .RT
  508. .ad r
  509.     2.7.3
  510.     Appel de proc\*'edure
  511. \ \ \ 
  512. .ad b
  513. .RT
  514. .ad r
  515.     2.7.4
  516.     Sortie
  517. \ \ \ 
  518. .ad b
  519. .RT
  520. .ad r
  521.     2.7.5
  522.     D\*'ecision
  523. \ \ \ 
  524. .ad b
  525. .RT
  526. .ad r
  527.     2.8
  528.     Temporisateur
  529. \ \ \ 
  530. .ad b
  531. .RT
  532. .ad r
  533.     2.9
  534.     Exemples
  535. \ \ \ 
  536. .ad b
  537. .RT
  538. .ad r
  539. 3
  540.     \fIConcepts structurels dans le LDS\fR \ \ \ 
  541. .sp 1P
  542. .RT
  543. .ad b
  544. .RT
  545. .ad r
  546.     3.1
  547.     Introduction
  548. \ \ \ 
  549. .ad b
  550. .RT
  551. .ad r
  552.     3.2
  553.     Subdivision
  554. \ \ \ 
  555. .ad b
  556. .RT
  557. .ad r
  558.     3.2.1
  559.     Consid\*'erations g\*'en\*'erales
  560. \ \ \ 
  561. .ad b
  562. .RT
  563. .ad r
  564.     3.2.2
  565.     Subdivision de bloc
  566. \ \ \ 
  567. .ad b
  568. .RT
  569. .ad r
  570.     3.2.3
  571.     Subdivision de canal
  572. \ \ \ 
  573. .ad b
  574. .RT
  575. .ad r
  576.     3.3
  577.     Affinage
  578. \ \ \ 
  579. .ad b
  580. .RT
  581. .LP
  582. .bp
  583. .ad r
  584. \s8Page
  585. \s94
  586.     \fIConcepts suppl\*'ementaires dans le LDS\fR \ \ \ 
  587. .sp 1P
  588. .RT
  589. .sp 1P
  590. .RT
  591. .ad b
  592. .RT
  593. .ad r
  594.     4.1
  595.     Introduction
  596. \ \ \ 
  597. .ad b
  598. .RT
  599. .ad r
  600.     4.2
  601.     Macro
  602. \ \ \ 
  603. .ad b
  604. .RT
  605. .ad r
  606.     4.2.1
  607.     R\*`egles lexicales
  608. \ \ \ 
  609. .ad b
  610. .RT
  611. .ad r
  612.     4.2.2
  613.     D\*'efinition de macro
  614. \ \ \ 
  615. .ad b
  616. .RT
  617. .ad r
  618.     4.2.3
  619.     Appel de macro
  620. \ \ \ 
  621. .ad b
  622. .RT
  623. .ad r
  624.     4.3
  625.     Syst\*`emes g\*'en\*'eriques
  626. \ \ \ 
  627. .ad b
  628. .RT
  629. .ad r
  630.     4.3.1
  631.     Synonyme externe
  632. \ \ \ 
  633. .ad b
  634. .RT
  635. .ad r
  636.     4.3.2
  637.     Expression simple
  638. \ \ \ 
  639. .ad b
  640. .RT
  641. .ad r
  642.     4.3.3
  643.     D\*'efinitiones optionnelles
  644. \ \ \ 
  645. .ad b
  646. .RT
  647. .ad r
  648.     4.3.4
  649.     Cha\* | nes de transition optionnelles
  650. \ \ \ 
  651. .ad b
  652. .RT
  653. .ad r
  654.     4.4
  655.     Etat ast\*'erisque
  656. \ \ \ 
  657. .ad b
  658. .RT
  659. .ad r
  660.     4.5
  661.     Apparition multiple d'\*'etat
  662. \ \ \ 
  663. .ad b
  664. .RT
  665. .ad r
  666.     4.6
  667.     Entr\*'ee ast\*'erisque
  668. \ \ \ 
  669. .ad b
  670. .RT
  671. .ad r
  672.     4.7
  673.     Mise en r\*'eserve ast\*'erisque
  674. \ \ \ 
  675. .ad b
  676. .RT
  677. .ad r
  678.     4.8
  679.     Transition implicite
  680. \ \ \ 
  681. .ad b
  682. .RT
  683. .ad r
  684.     4.9
  685.     Etat suivant pointill\*'e
  686. \ \ \ 
  687. .ad b
  688. .RT
  689. .ad r
  690.     4.10
  691.     Service
  692. \ \ \ 
  693. .ad b
  694. .RT
  695. .ad r
  696.     4.10.1
  697.     D\*'ecomposition de service
  698. \ \ \ 
  699. .ad b
  700. .RT
  701. .ad r
  702.     4.10.2
  703.     D\*'efinition de service
  704. \ \ \ 
  705. .ad b
  706. .RT
  707. .ad r
  708.     4.11
  709.     Signal continu
  710. \ \ \ 
  711. .ad b
  712. .RT
  713. .ad r
  714.     4.12
  715.     Condition de validation
  716. \ \ \ 
  717. .ad b
  718. .RT
  719. .ad r
  720.     4.13
  721.     Valeur import\*'ee et export\*'ee
  722. \ \ \ 
  723. .ad b
  724. .RT
  725. .ad r
  726. 5
  727.     \fIDonn\*'ees dans le LDS\fR \ \ \ 
  728. .sp 9p
  729. .RT
  730. .ad b
  731. .RT
  732. .ad r
  733.     5.1
  734.     Introduction
  735. \ \ \ 
  736. .ad b
  737. .RT
  738. .ad r
  739.     5.1.1
  740.     Abstraction dans les types de donn\*'ees
  741. \ \ \ 
  742. .ad b
  743. .RT
  744. .ad r
  745.     5.1.2
  746.     Aper\*,cu des formalismes utilis\*'es pour mod\*'eliser
  747. les donn\*'ees
  748. \ \ \ 
  749. .ad b
  750. .RT
  751. .ad r
  752.     5.1.3
  753.     Terminologie
  754. \ \ \ 
  755. .ad b
  756. .RT
  757. .ad r
  758.     5.1.4
  759.     Division du texte sur les donn\*'ees
  760. \ \ \ 
  761. .ad b
  762. .RT
  763. .ad r
  764.     5.2
  765.     Le noyau de langage des donn\*'ees
  766. \ \ \ 
  767. .ad b
  768. .RT
  769. .ad r
  770.     5.2.1
  771.     D\*'efinitions des types de donn\*'ees
  772. \ \ \ 
  773. .ad b
  774. .RT
  775. .ad r
  776.     5.2.2
  777.     Litt\*'eraux et op\*'erateurs param\*'etris\*'es
  778. \ \ \ 
  779. .ad b
  780. .RT
  781. .ad r
  782.     5.2.3
  783.     Axiomes
  784. \ \ \ 
  785. .ad b
  786. .RT
  787. .ad r
  788.     5.2.4
  789.     Equations conditionnelles
  790. \ \ \ 
  791. .ad b
  792. .RT
  793. .ad r
  794.     5.3
  795.     Mod\*`ele d'alg\*`ebre initiale (description
  796. informelle)
  797. \ \ \ 
  798. .ad b
  799. .RT
  800. .ad r
  801.     5.3.1
  802.     Introduction
  803. \ \ \ 
  804. .ad b
  805. .RT
  806. .ad r
  807.     5.3.1.1
  808.     Repr\*'esentations
  809. \ \ \ 
  810. .ad b
  811. .RT
  812. .ad r
  813.     5.3.2
  814.     Signatures
  815. \ \ \ 
  816. .ad b
  817. .RT
  818. .ad r
  819.     5.3.3
  820.     Termes et expressions
  821. \ \ \ 
  822. .ad b
  823. .RT
  824. .ad r
  825.     5.3.3.1
  826.     G\*'en\*'eration de termes
  827. \ \ \ 
  828. .ad b
  829. .RT
  830. .ad r
  831.     5.3.4
  832.     Valeurs et alg\*`ebres
  833. \ \ \ 
  834. .ad b
  835. .RT
  836. .ad r
  837.     5.3.4.1
  838.     Equations et quantification
  839. \ \ \ 
  840. .ad b
  841. .RT
  842. .LP
  843. .bp
  844. .sp 2P
  845. .LP
  846. \s8Page
  847. \s9
  848. .sp 1P
  849. .RT
  850. .ad r
  851.     5.3.5
  852.     Sp\*'ecification alg\*`ebrique et s\*'emantique
  853. (signification)
  854. \ \ \ 
  855. .ad b
  856. .RT
  857. .ad r
  858.     5.3.6
  859.     Repr\*'esentation de valeurs
  860. \ \ \ 
  861. .ad b
  862. .RT
  863. .ad r
  864.     5.4
  865.     Utilisation passive des donn\*'ees LDS
  866. \ \ \ 
  867. .ad b
  868. .RT
  869. .ad r
  870.     5.4.1
  871.     Constructions des d\*'efinitions de donn\*'ees
  872. \*'etendues
  873. \ \ \ 
  874. .ad b
  875. .RT
  876. .ad r
  877.     5.4.1.1
  878.     Op\*'erateur sp\*'eciaux
  879. \ \ \ 
  880. .ad b
  881. .RT
  882. .ad r
  883.     5.4.1.2
  884.     Litt\*'eraux de cha\* | ne de caract\*`eres
  885. \ \ \ 
  886. .ad b
  887. .RT
  888. .ad r
  889.     5.4.1.3
  890.     Donn\*'ees pr\*'ed\*'efinies
  891. \ \ \ 
  892. .ad b
  893. .RT
  894. .ad r
  895.     5.4.1.4
  896.     Egalit\*'e
  897. \ \ \ 
  898. .ad b
  899. .RT
  900. .ad r
  901.     5.4.1.5
  902.     Axiomes bool\*'eens
  903. \ \ \ 
  904. .ad b
  905. .RT
  906. .ad r
  907.     5.4.1.6
  908.     Termes condicionnelles
  909. \ \ \ 
  910. .ad b
  911. .RT
  912. .ad r
  913.     5.4.1.7
  914.     Erreurs
  915. \ \ \ 
  916. .ad b
  917. .RT
  918. .ad r
  919.     5.4.1.8
  920.     Relations d'ordre
  921. \ \ \ 
  922. .ad b
  923. .RT
  924. .ad r
  925.     5.4.1.9
  926.     Syntypes
  927. \ \ \ 
  928. .ad b
  929. .RT
  930. .ad r
  931.     5.4.1.9.1 
  932.     Condition d'intervalle
  933. \ \ \ 
  934. .ad b
  935. .RT
  936. .ad r
  937.     5.4.1.10 
  938.     Sorte <<structure>>
  939. \ \ \ 
  940. .ad b
  941. .RT
  942. .ad r
  943.     5.4.1.11 
  944.     H\*'eritage
  945. \ \ \ 
  946. .ad b
  947. .RT
  948. .ad r
  949.     5.4.1.12 
  950.     G\*'en\*'erateurs
  951. \ \ \ 
  952. .ad b
  953. .RT
  954. .ad r
  955.     5.4.1.12.1
  956.     D\*'efinition de g\*'en\*'erateur
  957. \ \ \ 
  958. .ad b
  959. .RT
  960. .ad r
  961.     5.4.1.12.2
  962.     Instaciation de g\*'en\*'erateur
  963. \ \ \ 
  964. .ad b
  965. .RT
  966. .ad r
  967.     5.4.1.13 
  968.     Synonymes
  969. \ \ \ 
  970. .ad b
  971. .RT
  972. .ad r
  973.     5.4.1.14
  974.     Litt\*'eraux de classe de noms
  975. \ \ \ 
  976. .ad b
  977. .RT
  978. .ad r
  979.     5.4.1.15
  980.     Mise en correspondance de litt\*'eraux
  981. \ \ \ 
  982. .ad b
  983. .RT
  984. .ad r
  985.     5.4.2
  986.     Utilisation des donn\*'ees
  987. \ \ \ 
  988. .ad b
  989. .RT
  990. .ad r
  991.     5.4.2.1
  992.     Expression
  993. \ \ \ 
  994. .ad b
  995. .RT
  996. .ad r
  997.     5.4.2.2
  998.     Expressions closes
  999. \ \ \ 
  1000. .ad b
  1001. .RT
  1002. .ad r
  1003.     5.4.2.3
  1004.     Synonymo
  1005. \ \ \ 
  1006. .ad b
  1007. .RT
  1008. .ad r
  1009.     5.4.2.4
  1010.     Primaire d'index
  1011. \ \ \ 
  1012. .ad b
  1013. .RT
  1014. .ad r
  1015.     5.4.2.5
  1016.     Primaire de champ
  1017. \ \ \ 
  1018. .ad b
  1019. .RT
  1020. .ad r
  1021.     5.4.2.6
  1022.     Primaire de structure
  1023. \ \ \ 
  1024. .ad b
  1025. .RT
  1026. .ad r
  1027.     5.4.2.7
  1028.     Expression close conditionnelle
  1029. \ \ \ 
  1030. .ad b
  1031. .RT
  1032. .ad r
  1033.     5.5
  1034.     Utilisation des donn\*'ees avec des variables
  1035. \ \ \ 
  1036. .ad b
  1037. .RT
  1038. .ad r
  1039.     5.5.1
  1040.     D\*'efinitions de variables et de donn\*'ees
  1041. \ \ \ 
  1042. .ad b
  1043. .RT
  1044. .ad r
  1045.     5.5.2
  1046.     Acc\*`es aux variables
  1047. \ \ \ 
  1048. .ad b
  1049. .RT
  1050. .ad r
  1051.     5.5.2.1
  1052.     Expressions actives
  1053. \ \ \ 
  1054. .ad b
  1055. .RT
  1056. .ad r
  1057.     5.5.2.2
  1058.     Acc\*`es aux variable
  1059. \ \ \ 
  1060. .ad b
  1061. .RT
  1062. .ad r
  1063.     5.5.2.3
  1064.     Expression conditionnelle
  1065. \ \ \ 
  1066. .ad b
  1067. .RT
  1068. .ad r
  1069.     5.5.2.4
  1070.     Application d'operateur
  1071. \ \ \ 
  1072. .ad b
  1073. .RT
  1074. .ad r
  1075.     5.5.3
  1076.     Enonc\*'e d'affectation
  1077. \ \ \ 
  1078. .ad b
  1079. .RT
  1080. .ad r
  1081.     5.5.3.1
  1082.     Variable index\*'ee
  1083. \ \ \ 
  1084. .ad b
  1085. .RT
  1086. .ad r
  1087.     5.5.3.2
  1088.     Variable de champ
  1089. \ \ \ 
  1090. .ad b
  1091. .RT
  1092. .ad r
  1093.     5.5.3.3
  1094.     Affectation par d\*'efaut
  1095. \ \ \ 
  1096. .ad b
  1097. .RT
  1098. .ad r
  1099.     5.5.4
  1100.     Op\*'erateurs imp\*'eratifs
  1101. \ \ \ 
  1102. .ad b
  1103. .RT
  1104. .ad r
  1105.     5.5.4.1
  1106.     NOW
  1107. \ \ \ 
  1108. .ad b
  1109. .RT
  1110. .ad r
  1111.     5.5.4.2
  1112.     Expression d'IMPORT
  1113. \ \ \ 
  1114. .ad b
  1115. .RT
  1116. .ad r
  1117.     5.5.4.3
  1118.     Expression PId
  1119. \ \ \ 
  1120. .ad b
  1121. .RT
  1122. .LP
  1123. .bp
  1124. .ad r
  1125. \s8Page
  1126. \s9    5.5.4.4
  1127.     Expression de visibilit\*'e
  1128. \ \ \ 
  1129. .sp 1P
  1130. .RT
  1131. .ad b
  1132. .RT
  1133. .ad r
  1134.     5.5.4.5
  1135.     Expression de temporistion active
  1136. \ \ \ 
  1137. .ad b
  1138. .RT
  1139. .ad r
  1140.     5.6
  1141.     Donn\*'ees pr\*'ed\*'efinies
  1142. \ \ \ 
  1143. .ad b
  1144. .RT
  1145. .ad r
  1146.     5.6.1
  1147.     Sorte <<bool\*'een>>
  1148. \ \ \ 
  1149. .ad b
  1150. .RT
  1151. .ad r
  1152.     5.6.1.1
  1153.     D\*'efinition
  1154. \ \ \ 
  1155. .ad b
  1156. .RT
  1157. .ad r
  1158.     5.6.1.2
  1159.     Utilisation
  1160. \ \ \ 
  1161. .ad b
  1162. .RT
  1163. .ad r
  1164.     5.6.2
  1165.     Sorte <<caract\*`ere>>
  1166. \ \ \ 
  1167. .ad b
  1168. .RT
  1169. .ad r
  1170.     5.6.2.1
  1171.     D\*'efinition
  1172. \ \ \ 
  1173. .ad b
  1174. .RT
  1175. .ad r
  1176.     5.6.2.2
  1177.     Utilisation
  1178. \ \ \ 
  1179. .ad b
  1180. .RT
  1181. .ad r
  1182.     5.6.3
  1183.     G\*'en\*'erateur de cha\* | ne
  1184. \ \ \ 
  1185. .ad b
  1186. .RT
  1187. .ad r
  1188.     5.6.3.1
  1189.     D\*'efinition
  1190. \ \ \ 
  1191. .ad b
  1192. .RT
  1193. .ad r
  1194.     5.6.3.2
  1195.     Utilisation
  1196. \ \ \ 
  1197. .ad b
  1198. .RT
  1199. .ad r
  1200.     5.6.4
  1201.     Sorte <<cha\* | ne de caract\*`eres>>
  1202. \ \ \ 
  1203. .ad b
  1204. .RT
  1205. .ad r
  1206.     5.6.4.1
  1207.     D\*'efinition
  1208. \ \ \ 
  1209. .ad b
  1210. .RT
  1211. .ad r
  1212.     5.6.4.2
  1213.     Utilisation
  1214. \ \ \ 
  1215. .ad b
  1216. .RT
  1217. .ad r
  1218.     5.6.5
  1219.     Sorte <<entier>>
  1220. \ \ \ 
  1221. .ad b
  1222. .RT
  1223. .ad r
  1224.     5.6.5.1
  1225.     D\*'efinition
  1226. \ \ \ 
  1227. .ad b
  1228. .RT
  1229. .ad r
  1230.     5.6.5.2
  1231.     Utilisation
  1232. \ \ \ 
  1233. .ad b
  1234. .RT
  1235. .ad r
  1236.     5.6.6
  1237.     Syntype <<naturel>>
  1238. \ \ \ 
  1239. .ad b
  1240. .RT
  1241. .ad r
  1242.     5.6.6.1
  1243.     D\*'efinition
  1244. \ \ \ 
  1245. .ad b
  1246. .RT
  1247. .ad r
  1248.     5.6.6.2
  1249.     Utilisation
  1250. \ \ \ 
  1251. .ad b
  1252. .RT
  1253. .ad r
  1254.     5.6.7
  1255.     Sorte <<r\*'eel>>
  1256. \ \ \ 
  1257. .ad b
  1258. .RT
  1259. .ad r
  1260.     5.6.7.1
  1261.     D\*'efinition
  1262. \ \ \ 
  1263. .ad b
  1264. .RT
  1265. .ad r
  1266.     5.6.7.2
  1267.     Utilisation
  1268. \ \ \ 
  1269. .ad b
  1270. .RT
  1271. .ad r
  1272.     5.6.8
  1273.     G\*'en\*'erateur de tableau
  1274. \ \ \ 
  1275. .ad b
  1276. .RT
  1277. .ad r
  1278.     5.6.8.1
  1279.     D\*'efinition
  1280. \ \ \ 
  1281. .ad b
  1282. .RT
  1283. .ad r
  1284.     5.6.8.2
  1285.     Utilisation
  1286. \ \ \ 
  1287. .ad b
  1288. .RT
  1289. .ad r
  1290.     5.6.9
  1291.     G\*'en\*'erateur d'ensemble
  1292. \ \ \ 
  1293. .ad b
  1294. .RT
  1295. .ad r
  1296.     5.6.9.1
  1297.     D\*'efinition
  1298. \ \ \ 
  1299. .ad b
  1300. .RT
  1301. .ad r
  1302.     5.6.9.2
  1303.     Utilisation
  1304. \ \ \ 
  1305. .ad b
  1306. .RT
  1307. .ad r
  1308.     5.6.10
  1309.     Sorte <<PId>>
  1310. \ \ \ 
  1311. .ad b
  1312. .RT
  1313. .ad r
  1314.     5.6.10.1
  1315.     D\*'efinition
  1316. \ \ \ 
  1317. .ad b
  1318. .RT
  1319. .ad r
  1320.     5.6.10.2
  1321.     Utilisation
  1322. \ \ \ 
  1323. .ad b
  1324. .RT
  1325. .ad r
  1326.     5.6.11
  1327.     Sorte <<dur\*'ee>>
  1328. \ \ \ 
  1329. .ad b
  1330. .RT
  1331. .ad r
  1332.     5.6.11.1
  1333.     D\*'efinition
  1334. \ \ \ 
  1335. .ad b
  1336. .RT
  1337. .ad r
  1338.     5.6.11.2
  1339.     Utilisation
  1340. \ \ \ 
  1341. .ad b
  1342. .RT
  1343. .ad r
  1344.     5.6.12
  1345.     Sorte <<temps>>
  1346. \ \ \ 
  1347. .ad b
  1348. .RT
  1349. .ad r
  1350.     5.6.12.1
  1351.     D\*'efinition
  1352. \ \ \ 
  1353. .ad b
  1354. .RT
  1355. .ad r
  1356.     5.6.12.2
  1357.     Utilisation
  1358. \ \ \ 
  1359. .ad b
  1360. .RT
  1361. .sp 1P
  1362. .ce 1000
  1363. .sp 1P
  1364. .RT
  1365. .ce 0
  1366. .sp 1P
  1367. .ce 1000
  1368. .sp 1
  1369. REMARQUE\ PRELIMINAIRE
  1370. .ce 0
  1371. .sp 1P
  1372. .PP
  1373. La pr\*'esente Recommandation remplace les Recommandations\ Z.100
  1374. \*`a\ Z.104 et la Recommandation\ X.250 du Livre Rouge ddu CCITT.
  1375. .RT
  1376. .LP
  1377. .bp
  1378.