Konstruktion aus A einen deterministischen Automat B mit L(B) = L(A) ("Potenzautomatenkonstruktion" Vervahren) nach Rabin und Scott.
Feel this could interest others? Point them here
This article is licensed under the GNU Free Documentation License.
You may copy and modify it as long as the entire work (including additions) remains under this license.
To view or edit this article at Wikipedia, follow this link.
