著者

守屋 慎次

出版者

一般社団法人情報処理学会

雑誌

情報処理 (ISSN:04478053)

巻号頁・発行日

vol.19, no.5, pp.p398-405, 1978-05-15

被引用文献数

1

---

Decision tables as control structures for programming languages have been used for many years. In regard to the conversion of decision tables to computer programs, formalization has been quite well investigated. However, most of the previous works left out the important issue of general formalization of decision tables. This paper formalizes mixed entry decision tables based on Boolean algebra, some of the notions informally used in the decision table literature are systematized, and several fundamental properties of mixed entry decision tables are also investigated.