Representing and computing regular languages on massively parallel networks
- 1 January 1991
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Neural Networks
- Vol. 2 (1) , 56-72
- https://doi.org/10.1109/72.80291
Abstract
A general method is proposed for incorporating rule-based constraints corresponding to regular languages into stochastic inference problems, thereby allowing for a unified representation of stochastic and syntactic pattern constraints. The authors' approach establishes the formal connection of rules to Chomsky grammars and generalizes the original work of Shannon on the encoding of rule-based channel sequences to Markov chains of maximum entropy. This maximum entropy probabilistic view leads to Gibbs representations with potentials which have their number of minima growing at precisely the exponential rate that the language of deterministically constrained sequences grow. These representations are coupled to stochastic diffusion algorithms, which sample the language-constrained sequences by visiting the energy minima according to the underlying Gibbs probability law. This coupling yields the result that fully parallel stochastic cellular automata can be derived to generate samples from the rule-based constraint sets. The production rules and neighborhood state structure of the language of sequences directly determine the necessary connection structures of the required parallel computing surface. Representations of this type have been mapped to the DAP-510 massively parallel processor consisting of 1024 mesh-connected bit-serial processing elements for performing automated segmentation of electron-micrograph images.Keywords
This publication has 46 references indexed in Scilit:
- The use of maximum likelihood estimation for forming images of diffuse radar targets from delay-Doppler dataIEEE Transactions on Information Theory, 1989
- The capacity of the Hopfield associative memoryIEEE Transactions on Information Theory, 1987
- Computation theory of cellular automataCommunications in Mathematical Physics, 1984
- Optimization by Simulated AnnealingScience, 1983
- The Distributed Array Processor (DAP)Computer Physics Communications, 1983
- Nonparametric Maximum Likelihood Estimation by the Method of SievesThe Annals of Statistics, 1982
- Nonparametric Maximum Likelihood Estimation of Probability Densities by Penalty Function MethodsThe Annals of Statistics, 1975
- Information Theory and Statistical MechanicsPhysical Review B, 1957
- Three models for the description of languageIEEE Transactions on Information Theory, 1956
- Continuous Markov processes and stochastic equationsRendiconti del Circolo Matematico di Palermo Series 2, 1955