- 【Updated on May 12, 2025】 Integration of CiNii Dissertations and CiNii Books into CiNii Research
- Trial version of CiNii Research Knowledge Graph Search feature is available on CiNii Labs
- 【Updated on June 30, 2025】Suspension and deletion of data provided by Nikkei BP
- Regarding the recording of “Research Data” and “Evidence Data”
DNA implementation of simple Horn clause computation
Description
In this paper, we propose a method for biologically implementing simple Boolean formulae. This method enables us to compute the logical consequences of a given set of simple Horn clauses in parallel and takes advantage of the potentially huge number of molecular CPUs in DNA computers. Further, we show that the method can be nicely applied to the parallel implementation of a grammatical recognition algorithm which is based on 'dynamic programming'.
Journal
-
- Proceedings of 1997 IEEE International Conference on Evolutionary Computation (ICEC '97)
-
Proceedings of 1997 IEEE International Conference on Evolutionary Computation (ICEC '97) 213-217, 2002-11-22
IEEE