Authors: V G Akulovskiy
Publish Date: 2012/03/28
Volume: 48, Issue: 2, Pages: 291-303
Abstract
A system of algorithmic algebras is formed on the basis a modified Glushkov computer model Data are formalized and specified at inputs and outputs of Doperators and hence the formal apparatus constructed is based on data Some properties of Doperators and operations that form the signature of the algebras are proved and the possibility of construction of derived Doperators is shown
Keywords: