📁 File Manager Pro
v10.0.3 | PHP: 8.1.34
Server: Apache
2026-06-22 03:00:04
📂
/ (Root)
/
opt
/
alt
/
python37
/
lib64
/
python3.7
/
site-packages
/
guppy
/
etc
/
__pycache__
📍 /opt/alt/python37/lib64/python3.7/site-packages/guppy/etc/__pycache__
🔄 Refresh
✏️
Editing: RE.cpython-37.opt-1.pyc
Read Only
B �]Z^ � @ st d dl Z d dlmZ d dlmZ G dd� de�ZG dd� d�ZeZ G dd � d e �Z d d � Z G d d � d e �Z dd� Z e �e d�Zdd� ZG dd� de �ZG dd� de�Zdd� Zdd� Zdd � d d � d d � gZd d � ZG d!d"� d"e �ZG d#d$� d$e�ZG d%d&� d&e �ZG d'd(� d(e�ZG d)d*� d*e�Zd+d,� Z G d-d.� d.e�Z G d/d0� d0e�Z d1d2� Z G d3d4� d4�Z e� Z!d5d6� Z"dS )7� N)� chooserects)� iterpermutec @ s e Zd ZdS )� InfiniteErrorN)�__name__� __module__� __qualname__� r r �?/opt/alt/python37/lib64/python3.7/site-packages/guppy/etc/RE.pyr s r c @ s$ e Zd Zdd� Zdd� Zdd� ZdS )� WordsMemoc C s || _ || _i | _d| _d S )Nr )�re�ch�xs�N)�selfr r r r r �__init__ s zWordsMemo.__init__c C s( || j kr | j�|| �| j |< | j | S )N)r r � get_words_of_length_memoized)r r r r r �get_words_of_length s z WordsMemo.get_words_of_lengthc C s: g }x0t |d �D ] }| �|�}|r|�||f� qW |S )N� )�ranger �append)r r Zxsu�ir r r r �get_words_of_length_upto s z"WordsMemo.get_words_of_length_uptoN)r r r r r r r r r r r s r c @ s� e Zd ZdZdd� Zdd� Zdd� Zdd � Zd d � Zd d � Z dd� Z dd� Z dd� Z dd� Z dd� Zdd� Zdd� Zd d � Zd d � Zd d!� Zd"d#� Zd,d%d&�Zd'd(� Zd)d*� Zd+S )-�REz.^$*+?{}\[]|()c C s& t |t�rt| |�S t| t|��S d S )N)� isinstancer �concat� Concatenation�Single)�a�br r r �__add__A s z RE.__add__c O s@ |s4|dkrt | �S |dkr$t| �S |dkr4t| �S td��d S )N)�*)�+)�?z8Argument to regular expression must be '*' or '+' or '?')� KleeneClosure�PositiveClosure� EpsilonOrOne� ValueError)r �args�kwdsr r r �__call__G s z RE.__call__c C s t | jt| �f�S )N)�hash�_name�tuple)r r r r �__hash__R s z RE.__hash__c C s | j |j kot| �t|�kS )N)r+ r, )r r r r r �__eq__U s z RE.__eq__c C s, | j |j kr t| �t|�k S | j |j k S d S )N)r+ r, )r r r r r �__lt__Y s z RE.__lt__c C s t | |�S )N)�Union)r r r r r �__or___ s z RE.__or__c C s" d}x| D ]}||� � 7 }q W |S )Nr )�get_num_closures)r �nsr r r r r2 b s zRE.get_num_closuresc C s" d}x| D ]}||� � 7 }q W |S )Nr )� get_num_syms)r r3 r r r r r4 h s zRE.get_num_symsc C s" d}x| D ]}||� � 7 }q W |S )Nr )�get_sum_sym_lengths)r r3 r r r r r5 n s zRE.get_sum_sym_lengthsc C s dd� | D �}t | |�S )Nc S s g | ] }|� � �qS r )�get_words_memo)�.0�xr r r � <listcomp>u s z%RE.get_words_memo.<locals>.<listcomp>)r )r r r r r r6 t s zRE.get_words_memoc C s | � � }|�|�S )N)r6 r )r r r r r r r x s zRE.get_words_of_lengthc s | j � fdd�| D �� S )Nc s g | ] }� |��qS r r )r7 r8 )�fr r r9 } s z"RE.mapchildren.<locals>.<listcomp>)� __class__)r r: r )r: r � mapchildren| s zRE.mapchildrenc C s | � t�S )N)� mappedrepr� regexpname)r r r r � regexpform s z RE.regexpformc C s | � dd� �S )Nc S s | � � S )N)�reversed)r8 r r r �<lambda>� � z RE.reversed.<locals>.<lambda>)r< )r r r r r@ � s z RE.reversedc s � fdd�� � | �S )Nc sB t | t�r8| tk r4t | d t�r4| dd � }t|� S | S | �� �S )Nr r )r �Seq�Epsilonr, r< )r8 Zws)r: r r r: � s zRE.rempretup.<locals>.fr )r r )r: r � rempretup� s z RE.rempretupc C s g }| � |j� |S )N)� apseqatomsr )r �sar r r �seqatoms� s z RE.seqatomsc s( i � g �� �fdd�}| � |� t�� S )Nc s | � krd� | < �� | � d S )Nr )r )r8 )�d�usr r �ap� s zRE.sequni.<locals>.ap)�apseqr0 )r rK r )rI rJ r �sequni� s z RE.sequni� c C s& | � t�}|dkr"|�|�d��}|S )NrN )r= r> �join�split)r �conc�rr r r �shform� s z RE.shformc O s | S )Nr )r r �kr r r � simplified� s z RE.simplifiedc C s dd� }| � |�S )Nc S s | dkr dS t | �S )N� z())�str)r8 r r r r: � s zRE.simulform.<locals>.f)r= )r r: r r r � simulform� s z RE.simulformN)rN )r r r � _re_specialr r) r- r. r/ r1 r2 r4 r5 r6 r r< r? r@ rE rH rM rS rU rX r r r r r ( s* r c C sL | dkr dS t j}g }x*t| �D ] }||d kr4d}|�|� q W d�|�S )NrV z()z', )r rY rW r rO )�sZspecialZren�cr r r r> � s r> c @ s| e Zd ZdZd Zdd� Zdd� Zdd� Zdd � Zd d � Z d d � Z dd� Z dd� Z dd� Z dd� Zdd� Zdd� Zdd� Zd S ) rC r c G s |st S t�| |�S )N)rD �REBASE�__new__)�clasZsymbolsr r r r] � s z Seq.__new__c C s d| j jd�dd� | D ��f S )Nz%s(%s)z, c S s g | ]}d |f �qS )z%rr )r7 r8 r r r r9 � s z Seq.__repr__.<locals>.<listcomp>)r; r rO )r r r r �__repr__� s z Seq.__repr__c C s || � d S )Nr )r rK r r r rL � s z Seq.apseqc C s x| D ]}|t |�� qW d S )N)r )r rK r8 r r r rF � s zSeq.apseqatomsc C s dS )Nr r )r r r r r2 � s zSeq.get_num_closuresc C s t | �S )N)�len)r r r r r4 � s zSeq.get_num_symsc C s& d}x | D ]}|t t|��7 }q W |S )Nr )r` rW )r rZ r8 r r r r5 � s zSeq.get_sum_sym_lengthsc C s t | d�S )Nr )r )r r r r r6 � s zSeq.get_words_memoc C s |t | �kr| gS g S d S )N)r` )r r �memor r r r � s z Seq.get_words_of_length_memoizedc C s | S )Nr )r r r r r �limited� s z Seq.limitedc s$ | s � d�S d� � fdd�| D ��S )NrV rN c s g | ]}d � |�f �qS )z%sr )r7 r8 )r: r r r9 � s z"Seq.mappedrepr.<locals>.<listcomp>)rO )r r: r )r: r r= � s zSeq.mappedreprc C s t | �}|�� | j|� S )N)�list�reverser; )r rR r r r r@ � s z Seq.reversedc C s | gS )Nr )r r r r � unionsplitted� s zSeq.unionsplittedN)r r r � _priorityr+ r] r_ rL rF r2 r4 r5 r6 r rb r= r@ re r r r r rC � s rC c C s t �t| f�S )N)r\ r] rC )�symbolr r r r � s r r c G s6 dd� | D �} t | �dk r*| s"tS | d S t�t| �S )Nc S s g | ]}|t k r|�qS r )rD )r7 r8 r r r r9 s zconcat.<locals>.<listcomp>� r )r` rD r\ r] r )r' r r r r � s r c @ sd e Zd ZdZdZdd� Zdd� Zdd� Zd d � Zd d � Z d d� Z dd� Z dd� Z dd� Z dd� ZdS )r rh ZConcatc G s( t |�dk r |stS |d S t�| |�S )Nrh r )r` rD r\ r] )r^ r' r r r r] s zConcatenation.__new__c C sF g }x6| D ].}d|f }|j | j kr.d|f }|�|� q W d�|�S )Nz%rz(%s)z + )rf r rO )r �rsr rR r r r r_ s zConcatenation.__repr__c C s� dd� | D �}dgt |� }x�g }x<t|�D ]0\}}x&||| D ]}|tk rB|�|� qBW q,W |t|� � d}xDt|�D ]6\}} | d7 } | t || �kr�d} | ||< | dkrzP qzW P q W d S )Nc S s g | ] }|� � �qS r )rM )r7 r8 r r r r9 s z'Concatenation.apseq.<locals>.<listcomp>r r )r` � enumeraterD r rC ) r rK �uns�ixsr r rJ r8 �j�ixr r r rL s$ zConcatenation.apseqc C s x| D ]}|� |� qW d S )N)rF )r rK r8 r r r rF 1 s zConcatenation.apseqatomsc sP g �x |j D ]}��|�� �� q W g �i �� ����fdd���g dd� �S )Nc s� |t ��krJ|� kr�xpt| � D ]&}t|�}|�kr ��|� d�|< q W n<x:�| D ].\}}|| � krT�| |g |d || � qTW d S )Nr )r` r �simple_Concatenationr )Zxxr �n�toconcrQ �mr8 )r �ads�chxs�seenr r r rs < s z7Concatenation.get_words_of_length_memoized.<locals>.adsr )r r r )r r ra r r )r rs rt ru r r r 5 s z*Concatenation.get_words_of_length_memoizedc s t � fdd�| D �� S )Nc s g | ]}|� � ��qS r )rb )r7 r8 )r r r r9 M s z)Concatenation.limited.<locals>.<listcomp>)r )r r r )r r rb L s zConcatenation.limitedc C sF g }x6| D ].}|� |�}|j| jkr.d|f }|�|� q W d�|�S )Nz(%s)rN )r= rf r rO )r r: ri r rR r r r r= O s zConcatenation.mappedreprc C s dd� | D �}|� � | j|� S )Nc S s g | ] }|� � �qS r )r@ )r7 r8 r r r r9 Y s z*Concatenation.reversed.<locals>.<listcomp>)rd r; )r rR r r r r@ X s zConcatenation.reversedc sJ � �fdd�| D �}g }x(|D ] }x|� � D ]� |�� � q,W q W t|�S )Nc s g | ]}|j � ���qS r )rU )r7 r8 )r rT r r r9 ^ s z,Concatenation.simplified.<locals>.<listcomp>)rH r ro )r r rT rQ rG r[ r )r rT r rU ] s zConcatenation.simplifiedc C s. g }g }x6t | �D ]*\}}|�� }t|�dkr|�||f� qW |sJ| gS dgt|� }t| �}x�g }d} xHt |�D ]<\} \}}|�|| |� � || } |�|| � |d } qtW |�|| d � � |�t|� � d} xLt |�D ]<\} } | d7 } | t|| d �k�r d} | || < | dkr�P q�W |S qbW d S )Nr r )rj re r` r rc �extendr ) r �runsrk r r8 rJ rl r r Zi0rm rn r r r re e s: zConcatenation.unionsplittedN)r r r rf r+ r] r_ rL rF r rb r= r@ rU re r r r r r s r c @ s e Zd Zdd� ZdS )�SimplifiedConcatenationc O s | S )Nr )r r rT r r r rU � s z"SimplifiedConcatenation.simplifiedN)r r r rU r r r r rx � s rx c C s� i }g }d }xj| D ]b}|d k rp|j dkr>|d |kr>t|�}n2|j dkr^|d |kr^t|�}n|d k rp|�|� |}qW |d k r�|�|� |S )Nr r )r+ r$ r )rQ ru �nconcZw0�wr r r � conclosure� s" r{ c C s t | �dkr| }t| �} g }d}d}x�|t | �k r�| | }t|t�sX|d7 }|�|� q&|}x(|t | �k r�t| | t�szP |d7 }q^W ||d kr�|�|� n<g }x(t||�D ]}| | }|�t|�� q�W |�t|� � |}q&W t |�dkr�t|� S |�r|d S t S d S )Nr r ) r` r{ r rC r r rv rc r rD )rQ Zconc0ry r rm �eZsymsrT r r r ro � s< ro c C s | � � S )N)r4 )r8 r r r rA � rB rA c C s | � � S )N)r2 )r8 r r r rA � rB c C s | � � S )N)r5 )r8 r r r rA � rB c C sP t | t�}d}x�t|�dkrj|d jdks<t|d j�dkrjg }x&|d jD ]}|r`|�|� qLd}qLW P g }xr|D ]j}|�� }|�� }t|�}|t k r�|j dkr�|g| }n ||g }|r�|�|� nd}t |d t �rtt �qtW t |t�}qW t|�dk�rdd� |D �} t| � }n|�r*t|d �}nd }|�rL|d k �rHt|�}nt }|S )Nr r ���c S s g | ] }t |��qS r )ro )r7 �liner r r r9 � s z simpleunion.<locals>.<listcomp>)r �gaugesr` �width�linesr Zget_common_partZ get_uncommons� simpleunionrD �dirr rW �AssertionError�SimplifiedUnionro �simple_EpsilonOrOne) r� ZchoosenZ have_epsilonrJ r~ rR rQ Zolines�uZnusr r r r� � sF , r� c @ s^ e Zd ZdZd Zdd� Zdd� Zdd� Zdd � Zd d � Z d d � Z dd� Z ddd�Z dd� Z dS )r0 � c G s t �| |�S )N)r\ r] )r^ r' r r r r] s z Union.__new__c C sD g }x4| D ],}d|f }|j | j kr,d| }|�|� q W d�|�S )Nz%rz(%s)z | )rf r rO )r ri r rR r r r r_ s zUnion.__repr__c C s x| D ]}|� |� qW d S )N)rL )r rK r[ r r r rL s z Union.apseqc C s x| D ]}|� |� qW d S )N)rF )r rK r8 r r r rF s zUnion.apseqatomsc C sJ g }i }x<|j D ]2}x,|�|�D ] }||kr d||< |�|� q W qW |S )Nr )r r r )r r ra r ru r r8 r r r r s z"Union.get_words_of_length_memoizedc sB � fdd�| D �}x*t |�D ] \}}|| | k r | j|� S q W | S )Nc s g | ]}|� � ��qS r )rb )r7 r8 )r r r r9 s z!Union.limited.<locals>.<listcomp>)rj r; )r r �unir r8 r )r r rb s z Union.limitedc C sJ g }x:| D ]2}d|� |�f }|j| jkr2d| }|�|� q W d�|�S )Nz%sz(%s)z | )r= rf r rO )r r: ri r rR r r r r= & s zUnion.mappedreprNc O s0 |d krdd� | � � D �}dd� |D �}t|�S )Nc S s g | ] }|� � �qS r )rU )r7 r8 r r r r9 1 s z$Union.simplified.<locals>.<listcomp>c S s g | ] }|� � �qS r )rH )r7 r r r r r9 7 s )re r� )r r' r rT r r r r rU / s zUnion.simplifiedc C s( g }x | D ]}|� t|�� �� q W |S )N)rv rc re )r rJ r8 r r r re : s zUnion.unionsplitted)N)r r r rf r+ r] r_ rL rF r rb r= rU re r r r r r0 � s r0 c @ s e Zd Zdd� ZdS )r� c O s | S )Nr )r r rT r r r rU B s zSimplifiedUnion.simplifiedN)r r r rU r r r r r� A s r� c @ s@ e Zd ZdZdd� Zdd� Zdd� Zdd � Zd d � Zd d � Z dS )�Calledr c C s t �| |f�S )N)r\ r] )r^ �argr r r r] I s zCalled.__new__c C s4 | d }d|f }|j | j kr&d| }d|| jf S )Nr z%rz(%s)z%s(%r))rf r+ )r r rR r r r r_ L s zCalled.__repr__c C s || � d S )Nr )r rK r r r rF S s zCalled.apseqatomsc C s d| d � � S )Nr r )r2 )r r r r r2 V s zCalled.get_num_closuresc C sJ | d }|� |�}|j| jks4t|t�r<t|�dkr<d| }d|| jf S )Nr r z(%s)z%s%s)r= rf r rC r` r+ )r r: r rR r r r r= Y s zCalled.mappedreprc O s | � | d j||��S )Nr )r; rU )r r rT r r r rU a s zCalled.simplifiedN) r r r rf r] r_ rF r2 r= rU r r r r r� F s r� c @ s e Zd Zdd� Zdd� ZdS )�Closurec C s� |dkrt gS |dkr&|jd �d�S g }i }xltd|�D ]^}|�|�}|�|| �}x@|D ]8}x2|D ]*} t|| f�} | |krf|�| � d|| < qfW q\W q:W x2|jd �|�D ] } | |kr�|�| � d|| < q�W |S )Nr r )rD r r r ro r ) r r ra r ru r r r ZaiZbiZaibir8 r r r r f s( z$Closure.get_words_of_length_memoizedc C s | gS )Nr )r r r r re | s zClosure.unionsplittedN)r r r r re r r r r r� e s r� c @ s( e Zd ZdZdd� Zdd� Zdd� ZdS ) r# r c C s t d��d S )Nz@apseq: Regular expression is infinite: contains a Kleene Closure)r )r rK r r r rL � s zKleeneClosure.apseqc C sT |dkr t S | d �|�}g }x,t|d �D ] }|g| }|�t|� � q,W t|� S )Nr r )rD rb r r r r0 )r r Zclr� r rq r r r rb � s zKleeneClosure.limitedc O s t | d j||��S )Nr )�simple_KleeneClosurerU )r r rT r r r rU � s zKleeneClosure.simplifiedN)r r r r+ rL rb rU r r r r r# � s r# c C s | j dkrt| d �S t| �S )Nr! r )r+ r� r# )r8 r r r r� � s r� c @ s0 e Zd ZdZdd� Zdd� Zdd� Zdd � Zd S ) r$ r! c C s t d��d S )NzBapseq: Regular expression is infinite: contains a Positive Closure)r )r rK r r r rL � s zPositiveClosure.apseqc C s$ | d � |� t| d �� |� d S )Nr )rF r� )r rK r r r rF � s zPositiveClosure.apseqatomsc C s& |dkr|j d �|�S t�| ||�S )Nr r )r r r� r )r r ra r r r r � s z,PositiveClosure.get_words_of_length_memoizedc C s* | d � |�}t| d �� |�}t||�S )Nr )rb r# r )r r r r r r r rb � s zPositiveClosure.limitedN)r r r r+ rL rF r rb r r r r r$ � s r$ c @ s8 e Zd ZdZdd� Zdd� Zdd� Zdd � Zd d � Zd S ) r% r" c C s |t � | d �|� d S )Nr )rD rL )r rK r r r rL � s zEpsilonOrOne.apseqc C s |dkrt gS |jd �|�S )Nr )rD r r )r r ra r r r r � s z)EpsilonOrOne.get_words_of_length_memoizedc C s( | d � |�}|| d k r$| �|�} | S )Nr )rb r; )r r r8 r r r rb � s zEpsilonOrOne.limitedc O s t | d j||��S )Nr )r� rU )r r rT r r r rU � s zEpsilonOrOne.simplifiedc C s t gt| d �� � S )Nr )rD rc re )r r r r re � s zEpsilonOrOne.unionsplittedN) r r r r+ rL r rb rU re r r r r r% � s r% c C s( | j dkrt| �S | j dkr | S t| �S )Nr! r )r+ r� r% )r8 r r r r� � s r� c @ s< e Zd Zdd� Zdd� Zdd� Zdd� Zd d � Zd d � Zd S )� RegularSystemc C s || _ || _d| _|| _d S )NZ 358f0eca5c34bacdfbf6a8ac0ccf84bc)�table�Start�Final� final_states)r r� r� r� r r r r � s zRegularSystem.__init__c s� � fdd�}dd� }� � � � j}� jg� j }|�� j� x�|D ]~}||krPqBtd||�f dd� || }g }x2|D ]*}||krx|�d||| �||�f � qxW |r�td �|�� qBt� qBW d S ) Nc s0 y� j | }W n tk r* t| �}Y nX |S )N)�names�KeyErrorrW )�state�name)r r r � statename� s z#RegularSystem.pp.<locals>.statenamec S s | � � }| jdkr d|f }|S )Nr z(%s))rX rf )Ztransr� r r r � transname� s z#RegularSystem.pp.<locals>.transnamez%3s = rN )�endz%s %sz | )� setup_names�Xr� �orderr r� �printrO ) r r� r� r� r �Xk�TkZes�Xjr )r r �pp� s$ "zRegularSystem.ppc C s� | j }| j}| j}|i i | _}x�t|�� �D ]�\}}i ||< }x.t|�� �D ] \}} |�| g ��t|�� qPW xFt|�� �D ]6\} } t | �dkr�| � � t | � } n| d } | || < q�W ||kr.t ||< q.W d S )Nr r ) r� r� r� r� rc �items� setdefaultr r r` �sortr0 rD ) r r� r� r� r� �XiZ transitionsZTirg r� ZAijr r r �setup_equations s z RegularSystem.setup_equationsc s� dd� }�fdd�}�fdd�����fdd�}|g�| j �| j�| j� |����� �fd d ��D �}|jt�|�d � || _d S ) Nc S st d}||i}|g}x\|rn|}g }|d7 }xB|D ]:}|| kr<q.x*| | D ] }||krF|� |� |||< qFW q.W qW |S )Nr r )r )r� �startr �SZnewsZoldnewsrZ �tr r r �dists s z(RegularSystem.setup_order.<locals>.distsc s � | S )Nr )r8 )� start_distsr r �start_distance( s z1RegularSystem.setup_order.<locals>.start_distancec s i ��� �fdd�}|S )Nc s> | �kr�| S d}x � | D ]}|�|�7 }q W |�| < |S )Ng r )r8 rZ �y)r� r: ra r r �g. s z2RegularSystem.setup_order.<locals>.sumt.<locals>.gr )r: r� )r� )r: ra r �sumt+ s z'RegularSystem.setup_order.<locals>.sumtc s� | |kr dS t � | �t � | � }|r,|S d}xh|dk r�y �| }W n. tk rt ��|d �}��|� Y nX || �||� }|r�|S |d7 }q2W | |k| |k S )Nr � r )r` � IndexErrorr )r8 r� r[ r r: )r� �sumdistsr� r r �cmp38 s" z'RegularSystem.setup_order.<locals>.cmp3c s g | ]}|�k r|� k r|�qS r r )r7 r8 )r� r� r r r9 X s z-RegularSystem.setup_order.<locals>.<listcomp>)�key)r� r� r� r� � functools� cmp_to_keyr� )r r� r� r� r� r )r� r� r� r� r� r� r � setup_order s zRegularSystem.setup_orderc C st y | j W n tk r& | �� Y nX i | _d| j| j< x(t| j �D ]\}}d|d | j|< qFW d| j| j< d S )NZX0zX%dr r� )r� �AttributeErrorr� r� r� rj r� )r r rZ r r r r� \ s zRegularSystem.setup_namesc C s | � � | �� | j}| j}| j}t| j�}x�|�r |�� }|| }||kr�|| }||= |d�}x(t|�� �D ]\} } || } | || < qpW ||= xvt|�� �D ]f\} } | � |�}|d kr�q�| |= xBt|�� �D ]2\}}|| }| � |�}|d k r�||B }|| |< q�W q�W q.W || | S )Nr ) r� r� r� r� r� rc r� �popr� �get)r r� r� r� Ztodor� r� ZAkkZAkkStarr� ZAkiZBkir� ZTjZBjkZXjiZTk_XjiZCjiZBjir r r �solveh s: zRegularSystem.solveN) r r r r r� r� r� r� r� r r r r r� � s #F r� c C s t | j| j| j�}|�� S )N)r� r� Z start_stater� r� )ZfsaZRSr r r �SolveFSA� s r� )#r� Zguppy.etc.RE_Rectr Zguppy.etc.IterPermuter � Exceptionr r r, r\ r r> rC r r] rD r r rx r{ ro r r� r0 r� r� r� r# r� r$ r% r� r� ZNothingr� r r r r �<module> sB 9 $ .D M
💾 Save Changes
❌ Cancel