Edit File: FSA.cpython-37.pyc
B �]� � @ s" G d d� d�Z G dd� de�ZdS )c @ sv e Zd Zd dd�Zdd� Zdd� Zdd � Zd d � Zd d � Zdd� Z dd� Z dd� Z dd� Z dd� Z dd� Zdd� Zd S ) �FiniteAutomaton� c C s4 || _ || _| ji i| _g | _g | _i | _d| _d S )N� )� start_state� dump_state�table�unresolved_compositesZresolved_composites�composite_memo� is_updated)�selfr r � r �@/opt/alt/python37/lib64/python3.7/site-packages/guppy/etc/FSA.py�__init__ s zFiniteAutomaton.__init__c C s$ |\}}|| j �|i �|< d| _d S )Nr )r � setdefaultr )r Zxxx_todo_changeme�x�state�symbolr r r � __setitem__ s zFiniteAutomaton.__setitem__c G sf t |�dkr|d }n,x |D ]}|| jkr i | j|< q W | �|�}|| ||f< || jkrbi | j|< d S )Nr � )�lenr � new_composite)r r r �nexts�c�nr r r �add_transition s z FiniteAutomaton.add_transitionc C s| yt | j| �� �}W n tk r* dS X g }xF|D ]>\}}t|t�rfx*|D ]}|�||f� qNW q6|�||f� q6W |S )Nr )�listr �items�KeyError� isinstance�CompositeState�append)r r r Zris�k�v�vir r r � get_row_items s z FiniteAutomaton.get_row_itemsc C s� x�| j r�| j }g | _ x�|D ]�}i }g }x6|D ].}x(| �|�D ]\}}|�|g ��|� q<W q,W xBt|�� �D ]2\}}x(|D ] }|| j| krz|�| j� P qzW qlW x*t|�� �D ]\}}| j||f|�� q�W qW qW d S )N) r r# r r r r r r r )r Z compositesr Zds�l�ar r! r r r �make_deterministic+ s z"FiniteAutomaton.make_deterministicc C s> i }x4t | j�� �D ]"\}}x|D ]\}}d||< q"W qW |S )Nr )r r r )r Zsymsr �transr r! r r r �get_all_input_symbols? s z%FiniteAutomaton.get_all_input_symbolsc C s | j S )N)r )r r r r �get_all_statesF s z FiniteAutomaton.get_all_statesc C s i S )Nr )r r r r �get_all_final_statesI s z$FiniteAutomaton.get_all_final_statesc C s | j r| �� t| j�� �S )N)r r& r r �values)r r r r �get_compositesL s z FiniteAutomaton.get_compositesc C sx i }i }xft | j�� �D ]T\}}t |�� �}|�� t|�}|�|�}|d krZg }|||< |�|� |||< qW ||fS )N)r r r �keys�sort�tuple�getr )r �tc�tckr r! r' �ksr r r �get_transition_classesQ s z&FiniteAutomaton.get_transition_classesc s� dd� }dd� }� �fdd�}�j rB��� ��� }�_d�_ n�j}|\}}t|�� �}|� |�j�} ||| �} || �} | S )Nc s^ � �fdd��i � xX|D ]P}xJt |�D ]>\}}x4||d d � D ] }|| k|| kkr@d� ||f< q@W q&W qW x�t� �� �D ]�}|\}}|| }|| } g } x�|D ]v} || } | | } | | k r�| | f}|� kr�| �|� q�| | f}|� kr�| �|� q�� | }� |= |dk �r�|� P q�W x:| D ]2}� | }|dk�rF|g}|� |< n |�|� �q W qzW � S )Nc s4 x.| D ]&}|� kr� | }� |= |r�|� qW d S )Nr )r$ �pq�l1)�PS�psrmarkr r r8 c s zCFiniteAutomaton.get_minimized_dfa.<locals>.markall.<locals>.psrmarkr r )� enumerater r- r )�finals�tcvr �QZip�p�qr5 ZdpZdqZdpsr% ZdpaZdqaZdpadqaZdqadpar$ r )r7 r8 r �markallb sD z2FiniteAutomaton.get_minimized_dfa.<locals>.markallc S s� i }x$| D ] }x|D ]}|g||< qW q W xb|D ]Z\}}|| }|| }||k r0t |�t |�krj|| }}|�|� x|D ] }|||< qzW q0W |S )N)r �extend)ZQSZPQS�eqsr< r= r> �ep�eqr r r �combine� s z2FiniteAutomaton.get_minimized_dfa.<locals>.combinec s� i }i }d}xZt | �� �D ]J}t|�}||krd| }|d7 }|d |f||< x|D ] }|||< qTW qW ��|�j �}i |_xdt |�� �D ]T\} } i |j| < } x*t �j| �� �D ]\} }|| | | < q�W | � kr�d|j| < q�W |S )Nr zMS%dr )r r+ �id� __class__r Z final_statesr r ) rA ZcsbyidZcsbyas�irC Zideqr �s�fsaZcs0Zcstr' r% )r: r r r �finalize� s( z3FiniteAutomaton.get_minimized_dfa.<locals>.finalizer )r r& r4 Z_tctckr r+ r ) r r: r? rD rJ Ztctckr1 r2 r; r7 rA rI r )r: r r �get_minimized_dfaa s 0 z!FiniteAutomaton.get_minimized_dfac C sl t ttdd� |D ���� ��}t|�dkr2|d S y | j| S tk rf || j|< | j�|� |S X d S )Nc S s g | ] }|d f�qS )r r )�.0�argr r r � <listcomp>� s z1FiniteAutomaton.new_composite.<locals>.<listcomp>r r ) r r �dictr- r r r r r )r �args�csr r r r � s z FiniteAutomaton.new_compositec C s� t | j�� �}|�� tdd� t|�D ��}xj|D ]b}| j| }td|| |f � t |�� �}|�� x*|D ]"}|| }td||| |f � qnW q2W d S )Nc S s g | ]\}}||f�qS r r )rL rG rH r r r rN � s z&FiniteAutomaton.pp.<locals>.<listcomp>z%d: %sz %r -> #%d: %s)r r r- r. rO r9 �print)r r3 �numrH r rQ r r! r r r �pp� s zFiniteAutomaton.ppN)r )�__name__� __module__� __qualname__r r r r# r& r( r) r* r, r4 rK r rT r r r r r s p r c @ s e Zd ZdS )r N)rU rV rW r r r r r � s r N)r r/ r r r r r �<module> s j