Juan A. Alonso

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
In this paper we present an ACL2 formalization of a molecular computing model: Adle-man's restricted model [2]. This is a first step to formalize unconventional models of computation in ACL2. As an application of this model, an implementation of Lipton's experiment solving SAT [7] is described, based on the formalization given in [6]. We use ACL2 to make a(More)
The morphology of inflectional languages poses specific problems in the processing of morphological alternations. Regular alternations at morpheme boundaries can be elegantly captured by the use of rule formalisms based on the two-level morphology model. Stem alternations and completely irregular alternations at morpheme boundaries, however, need to be(More)
  • 1