Publication | Closed Access
New implementation of symbolic substitution logic
67
Citations
0
References
1986
Year
EngineeringSymbolic Substitution LogicFiber OpticsSymbolic ComputationFormal VerificationOptical ComputingSymbolic SubstitutionOptical SystemsCoding TheorySymbolic ManipulationPhotonicsComputer EngineeringComputer ScienceEquational LogicInformation OpticOptical SensorsSpatial LogicAutomated ReasoningFormal MethodsOptical Information ProcessingOptical System AnalysisBinary ValuesOptical Logic Gate
Symbolic substitution is a spatial logic for digital optical computers that utilizes the specific advantages of optical signal processing. Previous implementations used the optical intensity for coding the binary values. In this implementation we are using polarization for coding, and we show how a complete recognition–substitution processor can be implemented. The advantages of this type of coding are: better utilization of the device area, an equal distribution of intensity, and symmetry between the two logic states.