Bazsites.com Post, Emil L.
Directory Topics
On the Web
Wikipedia Articles
- Post's inversion formula - Post's inversion formula for Laplace transforms, named after Emil Post, is a simple-looking but usually impractical formula for evaluating an inverse Laplace transform.
- Post correspondence problem - The Post correspondence problem is an undecidable decision problem that was introduced by Emil Post in 1946. Because it is simpler than the halting problem and the Entscheidungsproblem it is often used in proofs of undecidability.
- Post's theorem - In computability theory Post's theorem, named after Emil Post, describes the connection between the arithmetical hierarchy and the Turing degrees.
- Emil Leon Post - U.S.
- Tag system - A tag system is a deterministic computational model published by Emil Leon Post in 1943 as a simple form of string rewriting system. A tag system may also be viewed as an abstract machine, called a Post tag machine (not to be confused with Post-Turing machines) -- briefly, a finite state machine whose only tape is a FIFO queue of ...