इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें इस प्रकार, औपचारिक परिभाषा में, अगली अवस्था अवस्थाओं के शक्ति सेट का एक तत्व है.
बेशक, वाक्य का एक अधिक जटिल संस्करण है "इस प्रकार, औपचारिक परिभाषा में, अगली अवस्था अवस्थाओं के शक्ति सेट का एक तत्व है, जो एक बार में माना जाने वाला अवस्थाओं का एक सेट है".