--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/compiler/PEGFsaDeterminizator.st	Mon Aug 17 12:13:16 2015 +0100
@@ -0,0 +1,61 @@
+"{ Package: 'stx:goodies/petitparser/compiler' }"
+
+"{ NameSpace: Smalltalk }"
+
+PEGFsaAbstractDeterminizator subclass:#PEGFsaDeterminizator
+	instanceVariableNames:''
+	classVariableNames:''
+	poolDictionaries:''
+	category:'PetitCompiler-FSA'
+!
+
+!PEGFsaDeterminizator methodsFor:'checking'!
+
+checkPriorities
+    self assert: ((fsa states select: [ :s | s hasPriority  ]) allSatisfy: [ :s | s priority == 0 ]).
+    self assert: (fsa allTransitions allSatisfy: [ :s | s priority == 0 ]).
+! !
+
+!PEGFsaDeterminizator methodsFor:'determinization'!
+
+determinize
+    self checkPriorities.
+    super determinize.	
+! !
+
+!PEGFsaDeterminizator methodsFor:'joining'!
+
+joinInfo: info with: anotherInfo into: newInfo
+    "nothing to do"
+!
+
+joinRetval: state with: anotherState into: newState
+    "Different retvals cannot merge their info"
+
+    state retvalsAndInfosDo: [:retval :info |
+        retval isNil ifFalse: [ 
+            newState addInfo: info for: retval.
+        ]
+    ].
+
+    anotherState retvalsAndInfosDo: [:retval :info |
+        retval isNil ifFalse: [ 
+            self assert: (newState retvals includes: retval) not.
+            newState addInfo: info for: retval.
+        ]
+    ].
+!
+
+joinState: state with: anotherState
+    self assert: state hasZeroPriorityOnly.
+    self assert: anotherState hasZeroPriorityOnly.
+    
+    ^ super joinState: state with: anotherState
+!
+
+joinTransitions: state with: anotherState into: newState
+    newState transitions addAll: (state transitions collect: #copy).
+    newState transitions addAll: (anotherState transitions collect: #copy).
+    ^ self
+! !
+