Current File : //opt/alt/python37/lib64/python3.7/site-packages/guppy/etc/__pycache__/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 Znexts�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�vZvir 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 r6 c s
zCFiniteAutomaton.get_minimized_dfa.<locals>.markall.<locals>.psrmarkr r )� enumerater r+ r )�finals�tcvr �QZip�p�qr3 ZdpZdqZdpsr# ZdpaZdqaZdpadqaZdqadpar" r )r5 r6 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< Zep�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 )
r? ZcsbyidZcsbyas�ir@ Zideqr �s�fsaZcs0Zcstr% r# )r8 r
r r �finalize� s(
z3FiniteAutomaton.get_minimized_dfa.<locals>.finalizer )r r$ r2 Z_tctckr r) r ) r
r8 r= rA rG Ztctckr/ r0 r9 r5 r? rF r )r8 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 )rI rD rE r r r rK � s z&FiniteAutomaton.pp.<locals>.<listcomp>z%d: %sz %r -> #%d: %s)r r r+ r, rL r7 �print)r
r1 ZnumrE r rN r r r r r �pp� s
zFiniteAutomaton.ppN)r )�__name__�
__module__� __qualname__r
r r r! r$ r& r' r( r* r2 rH r rP r r r r r s
p r c @ s e Zd ZdS )r N)rQ rR rS r r r r r � s r N)r r- r r r r r �<module> s j
Mini Shell