COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS